Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AlgicLanguage
AlgicLanguage(algic language)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 5094-5095
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8329-8329
No TPTP formula. May not be expressible in strict first order. Languages.kif 5093-5093 Algic language is a subclass of spoken human language

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Languages.kif 14662-14662 Anishinaabe language is an instance of algic language
No TPTP formula. May not be expressible in strict first order. Languages.kif 14609-14609 Cree language is a subclass of algic language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6504-6504
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6503-6503
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 6502-6502


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners