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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Neutron

Sigma KEE - CantLanguage
CantLanguage(cant language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 6076-6079
No TPTP formula. May not be expressible in strict first order. Languages.kif 6075-6075 Cant 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 6083-6083 English tahitian language is a subclass of cant language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13002-13002
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13001-13001
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 13000-13000


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

Show without tree


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