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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthernNorthHalmaheraLanguage

 Sigma KEE - SouthernNorthHalmaheraLanguage
SouthernNorthHalmaheraLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14013-14015
No TPTP formula. May not be expressible in strict first order. Languages.kif 14012-14012 SouthernNorthHalmaheraLanguage e' uma sub-classe de NorthHalmaheraLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 14018-14018 TernateLanguage e' uma instancia de SouthernNorthHalmaheraLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 14030-14030 TidoreLanguage e' uma instancia de SouthernNorthHalmaheraLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54234-54234
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54233-54233
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54232-54232


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