Knowledge Interchange Format (KIF)
Edit Page
Report
Scan day: 07 February 2014 UTC
8
Virus safety - good
Description: Collection of resources related to the Knowledge Interchange Format. Specifications, manual, and other resources.
Knowledge Interchange Format (KIF) Knowledge Interchange Format (KIF) (KIF) is a computer-oriented language for the interchange of knowledge among disparate programs. It has declarative semantics (i.e. the meaning of expressions in the representation can be understood without appeal to an interpreter for manipulating those expressions); it is logically comprehensive (i.e. it provides for the expression of arbitrary sentences in the first-order predicate calculus); it provides for the representation of knowledge about the representation of knowledge; it provides for the representation of nonmonotonic reasoning rules; and it provides for the definition of objects, functions, and relations.
Size: 696 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Knowledge Interchange Format (KIF) |
| Keywords: | |
| Description: | |
| IP-address: | 171.64.71.195 |
WHOIS Info
| NS | Name Servers: ARGUS.STANFORD.EDU 171.64.7.115, 2607:f6d0:0:9113::ab40:773 AVALLONE.STANFORD.EDU 171.64.7.88, 2607:f6d0:0:9116::ab40:758 |
| WHOIS | |
| Date | activated: 04-Oct-1985 last updated: 07-May-2009 expires: 31-Jul-2014 |