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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SouthAndamaneseLanguage

 Sigma KEE - SouthAndamaneseLanguage
SouthAndamaneseLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5468-5469
No TPTP formula. May not be expressible in strict first order. Languages.kif 5467-5467 SouthAndamaneseLanguage e' uma sub-classe de AndamaneseLanguage

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


No TPTP formula. May not be expressible in strict first order. Languages.kif 5472-5472 JarawaLanguage e' uma instancia de SouthAndamaneseLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5482-5482 OngeLanguage e' uma instancia de SouthAndamaneseLanguage
No TPTP formula. May not be expressible in strict first order. Languages.kif 5491-5491 SentinelLanguage e' uma instancia de SouthAndamaneseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54066-54066
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54065-54065
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 54064-54064


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