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


KB Term:  Term intersection
English Word: 

Sigma KEE - Inside
Inside

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


(contraryAttribute Inside Outside) Mid-level-ontology.kif 10302-10302
(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 10291-10293
(instance Inside PositionalAttribute) Mid-level-ontology.kif 10290-10290

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


(termFormat ChineseLanguage Inside "内") domainEnglishFormat.kif 30239-30239
(termFormat ChineseTraditionalLanguage Inside "內") domainEnglishFormat.kif 30238-30238
(termFormat EnglishLanguage Inside "inside") domainEnglishFormat.kif 30237-30237

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


(=>
    (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
(=>
    (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
(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))		 Merge.kif 11524-11529
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))		 Mid-level-ontology.kif 10311-10313
(=>
    (orientation ?OBJ1 ?OBJ2 Inside)
    (located ?OBJ1 ?OBJ2))		 Merge.kif 17351-17353
(=>
    (orientation ?THING ?O Inside)
    (and
        (interiorPart ?PART ?O)
        (located ?THING ?PART)))		 Mid-level-ontology.kif 10295-10299

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
(=>
    (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
(=>
    (and
        (instance ?X FruitOrVegetable)
        (part ?F ?X)
        (instance ?F FleshOrPulp)
        (part ?P ?X)
        (instance ?P PeelOrRind))
    (orientation ?F ?P Inside))		 Food.kif 2323-2330
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (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
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))		 Mid-level-ontology.kif 10346-10351
(=>
    (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
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))		 Mid-level-ontology.kif 10334-10340


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