Outside - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Outside

Outside(outside)

exterior, outside

appearance as argument number 1

(documentation Outside EnglishLanguage "Outside is a PositionalAttribute used to describe the relative location of one object or region to another region. ")	Mid-level-ontology.kif 8686-8688
(instance Outside PositionalAttribute)	Mid-level-ontology.kif 8684-8684	Outside is an instance of positional attribute

appearance as argument number 2

(contraryAttribute Inside Outside)	Mid-level-ontology.kif 8685-8685	Inside is the opposite of outside
(termFormat ChineseLanguage Outside "外")	domainEnglishFormat.kif 43699-43699
(termFormat ChineseTraditionalLanguage Outside "外")	domainEnglishFormat.kif 43698-43698
(termFormat EnglishLanguage Outside "outside")	domainEnglishFormat.kif 43697-43697

antecedent

(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION)))	Mid-level-ontology.kif 8698-8701	An object is outside to another object if and only if the object is not partly located in the other object
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (greaterThan (SubtractionFn ?FAR ?LIMIT) 0)) (not (located ?OBJ ?ZONE)))	Geography.kif 862-871	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is greater than 0, then the object is not located at the other object
(=> (and (orientation ?OBJ ?REGION Outside) (instance ?ZONE (PerimeterAreaFn ?REGION)) (instance ?ZONE UniformPerimeterArea) (width ?ZONE (MeasureFn ?LIMIT ?UNIT)) (distance ?OBJ ?REGION (MeasureFn ?FAR ?UNIT)) (instance ?UNIT UnitOfMeasure) (lessThanOrEqualTo (SubtractionFn ?FAR ?LIMIT) 0)) (located ?OBJ ?ZONE))	Geography.kif 851-860	If an object is outside to a region and another object is an instance of the perimeter area of the region and the other object is an instance of uniform perimeter area and the width of the other object is a real number an unit of measure(s) and the distance between the object and the region is another real number the unit of measure(s) and the unit of measure is an instance of unit of measure and (the other real number and the real number) is less than or equal to 0, then the object is located at the other object
(=> (and (viewType ?ROOM ?OBJ) (instance ?ROOM Room) (orientation ?OBJ ?ROOM Outside)) (modalAttribute (exists (?HUMAN ?SEE ?INST) (and (instance ?HUMAN Human) (located ?HUMAN ?ROOM) (instance ?SEE Seeing) (instance ?INST ?OBJ) (patient ?SEE ?INST) (agent ?SEE ?HUMAN))) Possibility))	Hotel.kif 932-945	If a person in an object can see a kind of physical and the object is an instance of room and a kind of physical is outside to the object, then the statement there exist an entity, another entity and a third entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the third entity is an instance of the kind of physical and the third entity is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
(=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region))	Mid-level-ontology.kif 8690-8692	If an object is outside to another object, then the other object is an instance of region

consequent

(=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside))	ComputingBrands.kif 2652-2663	If concave 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 outside to the self connected object
(=> (attribute ?X DownAndInRoom) (exists (?LOC ?INDOOR) (and (instance ?INDOOR Indoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?INDOOR))))	Hotel.kif 1035-1043	If down and in room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of indoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
(=> (attribute ?X DownAndOutRoom) (exists (?LOC ?OUTDOOR) (and (instance ?OUTDOOR Outdoors) (instance ?LOC Region) (orientation ?LOC ?X Adjacent) (orientation ?LOC ?X Outside) (located ?LOC ?OUTDOOR))))	Hotel.kif 1050-1058	If down and out room is an attribute of an object, then there exist another object and a third object such that the third object is an instance of outdoors and the other object is an instance of region and the other object is adjacent to the object and the other object is outside to the object and the other object is located at the third object
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside)))))	Cars.kif 4353-4360	If a physical is an instance of outboard motor, then the physical has the purpose there exists an entity such that the entity is an instance of water vehicle and the physical meets the entity and the physical is outside to the entity
(=> (instance ?VRR VehicleRoofRack) (hasPurpose ?VRR (exists (?T ?A) (and (instance ?T Transfer) (patient ?T ?C) (instance ?A Automobile) (orientation ?VRR ?A Outside) (meetsSpatially ?C ?VRR) (part ?VRR ?A) (instrument ?T ?A)))))	Cars.kif 4672-4683	If a physical is an instance of cargo rack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transfer and a third entity is a patient of the entity and the other entity is an instance of automobile and the physical is outside to the other entity and the third entity meets the physical and the physical is a part of the other entity and the other entity is an instrument for the entity
(=> (instance ?X Exoskeleton) (exists (?A) (and (instance ?A Animal) (part ?X ?A) (not (exists (?PART) (and (properPart ?PART ?A) (orientation ?PART ?X Outside)))))))	Mid-level-ontology.kif 10907-10917	If an object is an instance of exoskeleton, then there exists another object such that the other object is an instance of animal and the object is a part of the other object and there doesn't exist a third object such that the third object is a proper part of the other object and the third object is outside to the object
(=> (part ?OBJ ?REGION) (not (orientation ?OBJ ?REGION Outside)))	Mid-level-ontology.kif 8703-8706	If an object is a part of another object, then the object is not outside 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