Inside - Sigma Knowledge base Browser

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

(contraryAttribute Inside Outside)	Mid-level-ontology.kif 8837-8837	Inside is the opposite of outside
(documentation Inside EnglishLanguage "Inside is a PositionalAttribute used to describe the relative location of one object or region to another region.")	Mid-level-ontology.kif 8818-8820
(instance Inside PositionalAttribute)	Mid-level-ontology.kif 8817-8817	Inside is an instance of positional attribute

appearance as argument number 2

(termFormat ChineseLanguage Inside "内")	domainEnglishFormat.kif 30127-30127
(termFormat ChineseTraditionalLanguage Inside "內")	domainEnglishFormat.kif 30126-30126
(termFormat EnglishLanguage Inside "inside")	domainEnglishFormat.kif 30125-30125

antecedent

(=> (instance ?INSIDE Inside) (exists (?OBJECT) (forall (?THING) (=> (located ?THING ?INSIDE) (exists (?PART) (and (interiorPart ?PART ?OBJECT) (located ?THING ?PART)))))))	Mid-level-ontology.kif 8825-8834	If an object is an instance of inside, then there exists an entity such that for all a physical if the physical is located at the object, then there exists another object such that the other object is a interior part of the entity and the physical is located at the other object
(=> (orientation ?OBJ ?REGION Inside) (instance ?REGION Region))	Mid-level-ontology.kif 8849-8851	If an object is inside to another object, then the other object is an instance of region

consequent

(=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside))	ComputingBrands.kif 2634-2645	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
(=> (instance ?G GUIDock) (exists (?I ?P ?CP) (and (instance ?CP ComputerProgram) (programRunning ?P ?CP) (instance ?I Icon) (represents ?I ?P) (orientation ?I ?G Inside))))	ComputingBrands.kif 2513-2521	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
(=> (instance ?INDOORS Indoors) (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 8879-8884	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
(=> (instance ?IVE InteriorVehicleEquipment) (hasPurpose ?IVE (exists (?V ?E) (and (instance ?V Automobile) (instance ?E Engine) (part ?E ?V) (not (part ?IVE ?E)) (part ?IVE ?V) (orientation ?IVE ?V Inside)))))	Cars.kif 4674-4685	If a physical is an instance of vehicle interior, then the physical 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
(=> (instance ?OUTDOORS Outdoors) (not (exists (?BUILDING) (and (instance ?BUILDING Building) (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 8867-8873	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 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners