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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Inside
Inside(inside)belly, inside, interior, penetralia

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7951-7951 Inside is the opposite of outside
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7935-7937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7934-7934 Inside is an instance of positional attribute

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30216-30216
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30215-30215
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30214-30214

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7939-7948
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7960-7962

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2624-2635
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2503-2511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7990-7995
No TPTP formula. May not be expressible in strict first order. Cars.kif 4717-4728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7978-7984


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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