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

KB Term:  Term intersection
English Word: 

Sigma KEE - Inside
Inside(inside the)belly, inside, interior, penetralia

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


(instance Inside PositionalAttribute) Mid-level-ontology.kif 10456-10456 Inside the is an instance of positional attribute
(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 10457-10459 Inside the is an instance of positional attribute
(contraryAttribute Inside Outside) Mid-level-ontology.kif 10479-10479 Inside the is the opposite of outside of

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


(termFormat EnglishLanguage Inside "inside the") domainEnglishFormat.kif 30231-30231
(termFormat ChineseTraditionalLanguage Inside "內") domainEnglishFormat.kif 30232-30232
(termFormat ChineseLanguage Inside "内") domainEnglishFormat.kif 30233-30233

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


(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))		 Mid-level-ontology.kif 10461-10466 If X is an instance of transfer, the object transferred in X is Y, and Z is inside the to Y, then the object transferred in X is Z
(=>
    (orientation ?OBJ1 ?OBJ2 Inside)
    (located ?OBJ1 ?OBJ2))		 Mid-level-ontology.kif 10468-10470 If X is inside the to Y, then X is located at Y
(=>
    (orientation ?THING ?O Inside)
    (and
        (interiorPart ?PART ?O)
        (located ?THING ?PART)))		 Mid-level-ontology.kif 10472-10476 If X is inside the to Y, then Z is a interior part of Y and X is located at Z
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10488-10490 If X is inside the to Y, then Y is an instance of region
(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (contains ?B ?A)
        (orientation ?A ?B Inside)
        (tangentialProperPart ?A ?B))
    (exists (?X ?Y)
        (and
            (instance ?X PointInSpace)
            (superficialPart ?X ?B)
            (instance ?Y PointInSpace)
            (superficialPart ?Y ?A)
            (meetsSpatially ?X ?Y))))		 Geography.kif 705-718 If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a tangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z meets W
(=>
    (and
        (instance ?A Region)
        (instance ?B Region)
        (contains ?B ?A)
        (orientation ?A ?B Inside)
        (nonTangentialProperPart ?A ?B))
    (exists (?X ?Y)
        (and
            (instance ?X PointInSpace)
            (superficialPart ?X ?B)
            (instance ?Y PointInSpace)
            (superficialPart ?Y ?A)
            (not
                (meetsSpatially ?X ?Y)))))		 Geography.kif 732-746 If X is an instance of region, Y is an instance of region, Y contains X, X is inside the to Y, and X is a nonTangentialProperPart of Y, then there exist Z, W such that Z is an instance of point in space, Z is a superficial part of Y, W is an instance of point in space, W is a superficial part of X, and Z doesn't meet W

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


(=>
    (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 2012-2020 If X is an instance of shot gun, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is an attribute of Z
(=>
    (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 2029-2038 If X is an instance of rifle, then there exist Y, Z such that Y is an instance of gun bore, Y is a proper part of X, Z is a superficial part of Y, Z is inside the to Y, and smooth is not an attribute of Z
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))		 Mid-level-ontology.kif 10511-10517 If X is an instance of outdoors, then there doesn't exist Y such that Y is an instance of building and X is inside the to Y
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))		 Mid-level-ontology.kif 10523-10528 If X is an instance of indoors, then there exists Y such that Y is an instance of building and X is inside the to Y
(=>
    (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 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))		 Mid-level-ontology.kif 34811-34822 If All of the following hold: (1) convex 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 inside the to X
(=>
    (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 4586-4597 If X is an instance of vehicle interior, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of automobile (3) Z is an instance of engine (4) Z is a part of Y (5) X is not a part of Z (6) X is a part of Y (7) X is inside the to Y
(=>
    (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 X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X
(=>
    (and
        (instance ?X FruitOrVegetable)
        (part ?F ?X)
        (instance ?F FleshOrPulp)
        (part ?P ?X)
        (instance ?P PeelOrRind))
    (orientation ?F ?P Inside))		 Food.kif 2336-2343 If X is an instance of fruit or vegetable, Y is a part of X, Y is an instance of flesh or pulp, Z is a part of X, and Z is an instance of peel or rind, then Y is inside the to Z
(=>
    (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 X and X is an instance of hotel unit, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of hotel room (3) Z is an instance of hotel room (4) Y is inside the to X (5) Z is inside the to X (6) equal Y (7) Z


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