KIF

Kif can refer to:Knowledge Interchange Format, a syntax that is easy for computers to process.An alternate spelling of kief, a highly refined product of cannabis. Lieutenant Kif Kroker, a fictional character in the animated television show Futurama.An alien race in the Chanur novels by C. J. Cherryh.Kuwait International FairA South African slang word meaning something that is very good.
See more at Wikipedia.org...

KIF is also the IATA code for Kingfisher Lake Airport.'' Knowledge Interchange Format (KIF) is a computer-oriented language for the interchange of knowledge among disparate computer 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.
See more at Wikipedia.org...

Cette page d’ répertorie les différents sujets et articles partageant un même nom. 
Pour la suite, voir Wikipédia.org…

Das Wort Kif bezeichnetein narkotisches Präparat, siehe Kif (Droge)den fiktiven Charakter Kif Kroker, siehe FuturamaDas Akronym KIF steht für:Knowledge Interchange Format, eine Computerssprache zum Transfer von Wissen zwischen unterschiedlichen Geräten und ProgrammenKonferenz der Informatikfachschaften, der Vertretung aller Informatik-Studierenden im deutschsprachigen Raum
Mehr unter Wikipedia.org...

Das Knowledge Interchange Format (KIF) ist ein Austauschformat, das mit der Intention geschaffen wurde, Wissen in einem maschinenlesbaren Format zwischen unterschiedlichen Programmen austauschen zu können. Dabei haben sich die Entwickler nicht das Ziel gesetzt, dass mit der Sprache effizient logische Schlüsse gezogen werden können, sondern auf die Repräsentation von Wissen, wie es u. a. in Ontologien vorliegt. KIF nutzt Prädikatenlogik erster Ordnung für Aussagen. Seine Notation ist LISP-basiert.
Mehr unter Wikipedia.org...

Acronimi Knowledge Interchange Format
Per saperne di più visita Wikipedia.org...

KNOWLEDGE INTERCHANGE FORMAT. KIF