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

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 8831-8833
(instance Outside PositionalAttribute)	Mid-level-ontology.kif 8829-8829	instance Outside and PositionalAttribute

appearance as argument number 2

(contraryAttribute Inside Outside)	Mid-level-ontology.kif 8830-8830	contraryAttribute Inside and Outside
(termFormat ChineseLanguage Outside "外")	domainEnglishFormat.kif 43633-43633	termFormat ChineseLanguage, Outside and "外"
(termFormat ChineseTraditionalLanguage Outside "外")	domainEnglishFormat.kif 43632-43632	termFormat ChineseTraditionalLanguage, Outside and "外"
(termFormat EnglishLanguage Outside "outside")	domainEnglishFormat.kif 43631-43631	termFormat EnglishLanguage, Outside and "outside"

antecedent

(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION)))	Mid-level-ontology.kif 8846-8849	orientation Object, Object and Outside partlyLocated Object and 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	orientation Object, Region and Outside instance Object and PerimeterAreaFn Region instance Object and UniformPerimeterArea width Object and MeasureFn RealNumber and UnitOfMeasure distance Object, Region and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfMeasure greaterThan SubtractionFn RealNumber and RealNumber and 0 located Object and 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	orientation Object, Region and Outside instance Object and PerimeterAreaFn Region instance Object and UniformPerimeterArea width Object and MeasureFn RealNumber and UnitOfMeasure distance Object, Region and MeasureFn RealNumber and UnitOfMeasure instance UnitOfMeasure and UnitOfMeasure lessThanOrEqualTo SubtractionFn RealNumber and RealNumber and 0 located Object and 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 924-937	viewType Object and Physical instance Object and Room orientation Physical, Object and Outside modalAttribute entity entity and entity instance entity and Human located entity and Object instance entity and Seeing instance entity and Physical patient entity and entity agent entity and entity and Possibility
(=> (orientation ?OBJ ?REGION Outside) (instance ?REGION Region))	Mid-level-ontology.kif 8838-8840	orientation Object, Object and Outside instance Object and 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 2666-2677	attribute SelfConnectedObject and 凹 surface SelfConnectedObject and SelfConnectedObject part Object and SelfConnectedObject part Object and SelfConnectedObject equal Object and Object と Object 間のライン equal Object and Object part Object and Object orientation Object, SelfConnectedObject and Outside
(=> (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 1014-1022	attribute Object and DownAndInRoom Object Object instance Object and Indoors instance Object and Region orientation Object, Object and Adjacent orientation Object, Object and Outside located Object and 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 1029-1037	attribute Object and DownAndOutRoom Object Object instance Object and Outdoors instance Object and Region orientation Object, Object and Adjacent orientation Object, Object and Outside located Object and Object
(=> (instance ?OE OutboardEngine) (hasPurpose ?OE (exists (?W) (and (instance ?W WaterVehicle) (meetsSpatially ?OE ?W) (orientation ?OE ?W Outside)))))	Cars.kif 4322-4329	instance Physical and OutboardEngine hasPurpose Physical and entity instance entity and WaterVehicle meetsSpatially Physical and entity orientation Physical, entity and Outside
(=> (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 4648-4659	instance Physical and VehicleRoofRack hasPurpose Physical and entity entity instance entity and Transfer patient entity and entity instance entity and Automobile orientation Physical, entity and Outside meetsSpatially entity and Physical part Physical and entity instrument entity and 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 9912-9922	instance Object and Exoskeleton Object instance Object and Animal part Object and Object Object properPart Object and Object orientation Object, Object and Outside
(=> (part ?OBJ ?REGION) (not (orientation ?OBJ ?REGION Outside)))	Mid-level-ontology.kif 8851-8854	part Object and Object orientation Object, Object and Outside

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