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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TransNewGuineaLanguage

Sigma KEE - TransNewGuineaLanguage
TransNewGuineaLanguage(trans new guinea language)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 13457-13459
No TPTP formula. May not be expressible in strict first order. Languages.kif 13456-13456 Trans new guinea 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 13463-13463 Main section trans new guinea language is a subclass of trans new guinea language
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58972-58972
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58971-58971
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58970-58970


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