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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AustronesianLanguage
AustronesianLanguage(奥地利语)

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5715-5717
No TPTP formula. May not be expressible in strict first order. Languages.kif 5714-5714 奥地利语 是 口语人类语言 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14588-14588 ChamorroLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14615-14615 FijianLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14628-14628 IndonesianLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14630-14630 JavaneseLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14653-14653 MalagasyLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14652-14652 MalayLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14443-14443 MaoriLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14649-14649 MarshalleseLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14657-14657 NauruanLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14675-14675 SamoanLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14679-14679 SundaneseLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14685-14685 TagalogLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14681-14681 TahitianLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. Languages.kif 14688-14688 TonganLanguage 是 奥地利语 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9138-9138
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9137-9137
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 9136-9136


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