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 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 equal a real number and the line between the object and the other object and equal the object and the other object and a third object is a part of the real number, then the third object is inside to the self connected object
(=>     (and         (attribute ?X Suite)         (instance ?X HotelUnit))     (exists (?R1 ?R2)         (and             (instance ?R1 HotelRoom)             (instance ?R2 HotelRoom)             (orientation ?R1 ?X Inside)             (orientation ?R2 ?X Inside)             (not                 (equal ?R1 ?R2)))))	Hotel.kif 1011-1022	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 equal the other object and the third object
(=>     (and         (instance ?X FruitOrVegetable)         (part ?F ?X)         (instance ?F FleshOrPulp)         (part ?P ?X)         (instance ?P PeelOrRind))     (orientation ?F ?P Inside))	Food.kif 2323-2330	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
(=>     (instance ?E Entering)     (exists (?R ?A)         (and             (instance ?R Region)             (destination ?E ?R)             (agent ?E ?A)             (instance ?A AutonomousAgent)             (holdsDuring                 (BeginFn                     (WhenFn ?E))                 (orientation ?A ?R Outside))             (holdsDuring                 (EndFn                     (WhenFn ?E))                 (orientation ?A ?R Inside)))))	Mid-level-ontology.kif 18584-18597	If a process is an instance of entering, then there exist an entity and an agent such that the entity is an instance of region and the process ends up at the entity and the agent is an agent of the process and the agent is an instance of agent and the agent is outside to the entity holds during the beginning of the time of existence of the process and the agent is inside to the entity holds during the end of the time of existence of the process
(=>     (instance ?E Exiting)     (exists (?R ?A)         (and             (instance ?R Region)             (origin ?E ?R)             (agent ?E ?A)             (instance ?A AutonomousAgent)             (holdsDuring                 (BeginFn                     (WhenFn ?E))                 (orientation ?A ?R Inside))             (holdsDuring                 (EndFn                     (WhenFn ?E))                 (orientation ?A ?R Outside)))))	Mid-level-ontology.kif 18603-18616	If a process is an instance of exiting, then there exist an object and an agent such that the object is an instance of region and the process originates at the object and the agent is an agent of the process and the agent is an instance of agent and the agent is inside to the object holds during the beginning of the time of existence of the process and the agent is outside to the object holds during the end of the time of existence of the process
(=>     (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 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
(=>     (instance ?G Rifle)     (exists (?B ?P)         (and             (instance ?B GunBore)             (properPart ?B ?G)             (superficialPart ?P ?B)             (orientation ?P ?B Inside)             (not                 (attribute ?P Smooth)))))	Mid-level-ontology.kif 1960-1969	If an object is an instance of rifle, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is not an attribute of the third object
(=>     (instance ?G Shotgun)     (exists (?B ?P)         (and             (instance ?B GunBore)             (properPart ?B ?G)             (superficialPart ?P ?B)             (orientation ?P ?B Inside)             (attribute ?P Smooth))))	Mid-level-ontology.kif 1943-1951	If an object is an instance of shot gun, then there exist another object and a third object such that the other object is an instance of gun bore and the other object is a proper part of the object and the third object is a superficial part of the other object and the third object is inside to the other object and smooth is an attribute of the third object
(=>     (instance ?INDOORS Indoors)     (exists (?BUILDING)         (and             (instance ?BUILDING Building)             (orientation ?INDOORS ?BUILDING Inside))))	Mid-level-ontology.kif 10346-10351	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 4755-4766	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
(=>     (instance ?OUTDOORS Outdoors)     (not         (exists (?BUILDING)             (and                 (instance ?BUILDING Building)                 (orientation ?OUTDOORS ?BUILDING Inside)))))	Mid-level-ontology.kif 10334-10340	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 3.0 is open source software produced by Articulate Software and its partners