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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AustronesianLanguage

 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 子類 奧地利語 and 口語人類語言

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14588-14588 例 ChamorroLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14615-14615 例 FijianLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14628-14628 例 IndonesianLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14630-14630 例 JavaneseLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14653-14653 例 MalagasyLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14652-14652 例 MalayLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14443-14443 例 MaoriLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14649-14649 例 MarshalleseLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14657-14657 例 NauruanLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14675-14675 例 SamoanLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14679-14679 例 SundaneseLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14685-14685 例 TagalogLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14681-14681 例 TahitianLanguage and 奧地利語
No TPTP formula. May not be expressible in strict first order. Languages.kif 14688-14688 例 TonganLanguage and 奧地利語
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 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