Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Decelerating

 Sigma KEE - Outside
Outside(outside of)exterior, outside

appearance as argument number 1
-------------------------


(instance Outside PositionalAttribute) Mid-level-ontology.kif 10478-10478 Outside of is an instance of positional attribute
(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 10480-10482 Outside of is an instance of positional attribute

appearance as argument number 2
-------------------------


(contraryAttribute Inside Outside) Mid-level-ontology.kif 10479-10479 Inside the is the opposite of outside of
(termFormat EnglishLanguage Outside "outside of") domainEnglishFormat.kif 43715-43715 Inside the is the opposite of outside of
(termFormat ChineseTraditionalLanguage Outside "外") domainEnglishFormat.kif 43716-43716 Inside the is the opposite of outside of
(termFormat ChineseLanguage Outside "外") domainEnglishFormat.kif 43717-43717 Inside the is the opposite of outside of

antecedent
-------------------------


(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10484-10486 If X is outside of to Y, then Y is an instance of region
(=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))		 Mid-level-ontology.kif 10492-10495 If X is outside of to Y, then X is not partly located in Y
(=>
    (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.0))
    (located ?OBJ ?ZONE))		 Geography.kif 2310-2319 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is less than or equal to 0.0, then X is located at Z
(=>
    (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.0))
    (not
        (located ?OBJ ?ZONE)))		 Geography.kif 2321-2330 If All of the following hold: (1) X is outside of to Y (2) Z is an instance of the perimeter area of Y (3) Z is an instance of uniform perimeter area (4) the width of Z is W V(s) (5) the distance between X and Y is U V(s) (6) V is an instance of unit of measure (7) (U and W) is greater than 0.0, then X is not located at Z
(=>
    (and
        (viewType ?ROOM ?OBJ)
        (instance ?ROOM Room)
        (instance ?INST ?OBJ)
        (orientation ?INST ?ROOM Outside))
    (modalAttribute
        (exists (?HUMAN ?SEE)
            (and
                (instance ?HUMAN Human)
                (located ?HUMAN ?ROOM)
                (instance ?SEE Seeing)
                (patient ?SEE ?INST)
                (agent ?SEE ?HUMAN))) Possibility))		 Hotel.kif 962-975 If a person in X can see Y, X is an instance of room, Z is an instance of Y, and Z is outside of to X, then the statement there exist W, V such that W is an instance of human, W is located at X, V is an instance of seeing, Z is a patient of V, and W is an agent of V has the modal force of possibility

consequent
-------------------------


(=>
    (not
        (partlyLocated ?OBJ ?REGION))
    (orientation ?OBJ ?REGION Outside))		 Mid-level-ontology.kif 10497-10500 If X is not partly located in Y, then X is outside of to Y
(=>
    (part ?OBJ ?REGION)
    (not
        (orientation ?OBJ ?REGION Outside)))		 Mid-level-ontology.kif 10502-10505 If X is a part of Y, then X is not outside of to Y
(=>
    (instance ?ROOT PlantRoot)
    (hasPurpose ?ROOT
        (exists (?TRAN ?STUFF ?HOST)
            (and
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?ROOT)
                (origin ?TRAN ?HOST)
                (orientation ?HOST ?ROOT Outside)
                (objectTransferred ?TRAN ?STUFF)
                (or
                    (instance ?STUFF FreshWater)
                    (instance ?STUFF Nutrient))))))		 Mid-level-ontology.kif 10998-11010 If X is an instance of plant root, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) X is an instrument for Y (4) Y originates at W (5) W is outside of to X (6) the object transferred in Y is Z (7) Z is an instance of freshwater or Z is an instance of nutrient
(=>
    (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 13191-13201 If X is an instance of exoskeleton, then there exists Y such that Y is an instance of animal, X is a part of Y, there doesn't exist Z such that Z is a proper part of Y, and Z is outside of to X
(=>
    (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 18829-18842 If X is an instance of entering, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X ends up at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is outside of to Y holds during the beginning of the time of existence of X (7) Z is inside the to Y holds during the end of the time of existence of X
(=>
    (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 18848-18861 If X is an instance of exiting, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of region (3) X originates at Y (4) Z is an agent of X (5) Z is an instance of agent (6) Z is inside the to Y holds during the beginning of the time of existence of X (7) Z is outside of to Y holds during the end of the time of existence of X
(=>
    (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))		 Mid-level-ontology.kif 34839-34850 If All of the following hold: (1) concave is an attribute of X (2) X is a surface of Y (3) Z is a part of Y (4) W is a part of Y (5) equal V, the line between Z, and W (6) equal Z and W (7) U is a part of V, then U is outside of to X
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))		 Cars.kif 4257-4264 If X is an instance of outboard motor, then X has the purpose there exists Y such that Y is an instance of water vehicle, X meets Y, and X is outside of to Y
(=>
    (instance ?VRR VehicleRoofRack)
    (hasPurpose ?VRR
        (exists (?T ?A ?C)
            (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 4561-4572 If X is an instance of cargo rack, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is a patient of Y (4) Z is an instance of automobile (5) X is outside of to Z (6) W meets X (7) X is a part of Z (8) Z is an instrument for Y
(=>
    (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 1065-1073 If down and in room is an attribute of X, then there exist Y, Z such that Z is an instance of indoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z
(=>
    (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 1080-1088 If down and out room is an attribute of X, then there exist Y, Z such that Z is an instance of outdoors, Y is an instance of region, Y is adjacent to X, Y is outside of to X, and Y is located at Z
(=>
    (instance ?C Catheter)
    (hasPurpose ?C
        (exists (?M ?O ?OBJ ?L)
            (and
                (instance ?O Organism)
                (instance ?M Motion)
                (moves ?M ?OBJ)
                (orientation ?L ?O Outside)
                (path ?M ?C)
                (or
                    (and
                        (origin ?M ?L)
                        (destination ?M ?O))
                    (and
                        (origin ?M ?O)
                        (destination ?M ?L)))))))		 Medicine.kif 525-541 If X is an instance of cannula, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Z is an instance of organism (3) Y is an instance of motion (4) W moves during Y (5) V is outside of to Z (6) X is path along which Y occurs (7) Y originates at V (8) Y ends up at Z or Y originates at Z (9) Y ends up at V
(=>
    (and
        (instance ?VCS VentedChestSeal)
        (instance ?AT Attaching)
        (objectTransferred ?AT ?VCS)
        (destination ?AT ?H))
    (hasPurpose ?VCS
        (exists (?A ?L ?C)
            (and
                (instance ?A Air)
                (instance ?L Lung)
                (instance ?C Chest)
                (part ?L ?H)
                (part ?C ?H)
                (holdsDuring
                    (ImmediatePastFn
                        (WhenFn ?AT))
                    (between ?L ?A ?C))
                (hasPurpose ?VCS
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?AT))
                        (orientation ?A ?H Outside)))))))		 Medicine.kif 832-854 If X is an instance of vented chest seal, Y is an instance of attaching, the object transferred in Y is X, and Y ends up at Z, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of air (3) V is an instance of lung (4) U is an instance of chest (5) V is a part of Z (6) U is a part of Z (7) W is between V (8) U holds during immediately before the time of existence of Y (9) X has the purpose W is outside of to Z holds during immediately after the time of existence of Y
(=>
    (and
        (instance ?T Thoracentesis)
        (patient ?T ?H))
    (exists (?I ?O ?IN ?L ?C ?F)
        (and
            (instance ?I Inserting)
            (subProcess ?I ?T)
            (objectTransferred ?I ?N)
            (origin ?I ?O)
            (destination ?I ?IN)
            (instance ?N Needle)
            (attribute ?F Fluid)
            (objectTransferred ?T ?F)
            (destination ?F ?O)
            (instance ?L Lung)
            (instance ?C Chest)
            (part ?L ?H)
            (part ?C ?H)
            (origin ?T ?IN)
            (destination ?T ?O)
            (between ?L ?IN ?C)
            (orientation ?O ?H Outside))))		 Medicine.kif 874-896 If X is an instance of needle decompression and Y is a patient of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T (2) S such that Z is an instance of inserting (3) Z is a subprocess of X (4) the object transferred in Z is R (5) Z originates at W (6) Z ends up at V (7) R is an instance of needle (8) fluid is an attribute of S (9) the object transferred in X is S (10) S ends up at W (11) U is an instance of lung (12) T is an instance of chest (13) U is a part of Y (14) T is a part of Y (15) X originates at V (16) X ends up at W (17) V is between U (18) T (19) W is outside of to Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners