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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Jain

Sigma KEE - Jain
Jain(jain)
Jainist

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


No TPTP formula. May not be expressible in strict first order. People.kif 1408-1409
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4890-4890
No TPTP formula. May not be expressible in strict first order. People.kif 1407-1407 Jain is an instance of religious attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31363-31363
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31362-31362
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31361-31361

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 1411-1413 Jain is an attribute of an object if and only if the object is a member of jainism


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