TreeView Knowledge Base Browser - Inside

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 9133-9133	Inside is the opposite of outside
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9117-9119
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9116-9116	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 30229-30229
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30228-30228
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30227-30227

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11398-11403	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is inside to the object, then the object transferred in the transfer is the object2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9121-9130	If an object is an instance of inside, then there exists another object such that for all a physical if the physical is located at the object, then there exists a third object such that the third object is a interior part of the other object and the physical is located at the third object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9142-9144	If an object is inside to another object, then the other object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17225-17227	If an object is inside to another object, then the object is located at the other object

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2665-2676	If convex is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is inside to the self connected object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1003-1014	If suite is an attribute of an object and the object is an instance of hotel unit, then there exist another object and a third object such that the other object is an instance of hotel room and the third object is an instance of hotel room and the other object is inside to the object and the third object is inside to the object and the other object is not equal to the third object
No TPTP formula. May not be expressible in strict first order.	Food.kif 2316-2323	If an object is an instance of fruit or vegetable and another object is a part of the object and the other object is an instance of flesh or pulp and a third object is a part of the object and the third object is an instance of peel or rind, then the other object is inside to the third object
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	If an object is an instance of dock, then there exist another object, a computer process and a computer program such that the computer program is an instance of computer program and the computer program is a program running of the computer process and the other object is an instance of icon and the other object expresses the computer process and the other object is inside to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9172-9177	If an object is an instance of indoors, then there exists another object such that the other object is an instance of building and the object is inside to the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4679-4690	If a physical is an instance of vehicle interior, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of automobile and the other entity is an instance of engine and the other entity is a part of the entity and the physical is not a part of the other entity and the physical is a part of the entity and the physical is inside to the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9160-9166	If an object is an instance of outdoors, then there doesn't exist another object such that the other object is an instance of building and the object is inside to the other object

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