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

Formal Language: 



KB Term:  Term intersection
English Word: 

  plantInArea

 Sigma KEE - plantInArea
plantInArea

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8164-8164
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8167-8167 The number 2 argument of plant in area is an instance of cultivated land area
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8166-8166 The number 1 argument of plant in area is a subclass of plant
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8165-8165 plant in area is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8168-8168
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64340-64340
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64341-64341
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64339-64339
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65323-65323

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8154-8162
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8170-8175


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