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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inheriting

 Sigma KEE - Inheriting
Inheriting

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18644-18646
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18643-18643 Inheriting est une sous-classe de obtention unilat�rale

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30097-30097
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30096-30096
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30095-30095

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18648-18666


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