Example image of eyePlorer eyePlorer-Ergebnisse für 'Knowledge Interchange Format': Austauschformat Maschinenlesbarkeit Beweis (Logik) Ontologie (Informatik) Wissensrepräsentation Prädikatenlogik Konzeptgraph Knowledge Query and Manipulation Language Kif
Disclaimer