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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(contraryAttribute Inside Outside) Mid-level-ontology.kif 8826-8826 Inside is the opposite of outside
(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 8807-8809
(instance Inside PositionalAttribute) Mid-level-ontology.kif 8806-8806 Inside is an instance of positional attribute

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


(termFormat ChineseLanguage Inside "内") domainEnglishFormat.kif 30133-30133 "内" is the printable form of inside in ChineseLanguage
(termFormat ChineseTraditionalLanguage Inside "內") domainEnglishFormat.kif 30132-30132 "內" is the printable form of inside in ChineseTraditionalLanguage
(termFormat EnglishLanguage Inside "inside") domainEnglishFormat.kif 30131-30131 "inside" is the printable form of inside in english language

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


(=>
    (instance ?INSIDE Inside)
    (exists (?OBJECT)
        (forall (?THING)
            (=>
                (located ?THING ?INSIDE)
                (exists (?PART)
                    (and
                        (interiorPart ?PART ?OBJECT)
                        (located ?THING ?PART)))))))
Mid-level-ontology.kif 8814-8823
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8838-8840

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 2475-2486
(=>
    (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 2354-2362
(=>
    (instance ?INDOORS Indoors)
    (exists (?BUILDING)
        (and
            (instance ?BUILDING Building)
            (orientation ?INDOORS ?BUILDING Inside))))
Mid-level-ontology.kif 8868-8873
(=>
    (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 4673-4684
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 8856-8862


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