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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Inside

Sigma KEE - Inside
Inside

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


(contraryAttribute Inside Outside) Mid-level-ontology.kif 9065-9065
(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 9049-9051
(instance Inside PositionalAttribute) Mid-level-ontology.kif 9048-9048

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


(termFormat ChineseLanguage Inside "内") domainEnglishFormat.kif 30215-30215
(termFormat ChineseTraditionalLanguage Inside "內") domainEnglishFormat.kif 30214-30214
(termFormat EnglishLanguage Inside "inside") domainEnglishFormat.kif 30213-30213

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


(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O Inside))
    (objectTransferred ?T ?O2))
Merge.kif 11275-11280
(=>
    (instance ?INSIDE Inside)
    (exists (?OBJECT)
        (forall (?THING)
            (=>
                (located ?THING ?INSIDE)
                (exists (?PART)
                    (and
                        (interiorPart ?PART ?OBJECT)
                        (located ?THING ?PART)))))))
Mid-level-ontology.kif 9053-9062
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 9074-9076
(=>
    (orientation ?OBJ1 ?OBJ2 Inside)
    (located ?OBJ1 ?OBJ2))
Merge.kif 17008-17010

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 1003-1014
(=>
    (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 ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))
Mid-level-ontology.kif 9104-9109
(=>
    (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 4694-4705
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 9092-9098


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 is open source software produced by Articulate Software and its partners