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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(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 8831-8833
(instance Outside PositionalAttribute) Mid-level-ontology.kif 8829-8829 Outside is an instance of positional attribute

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


(contraryAttribute Inside Outside) Mid-level-ontology.kif 8830-8830 Inside is the opposite of outside
(termFormat ChineseLanguage Outside "外") domainEnglishFormat.kif 43633-43633 "外" is the printable form of outside in ChineseLanguage
(termFormat ChineseTraditionalLanguage Outside "外") domainEnglishFormat.kif 43632-43632 "外" is the printable form of outside in ChineseTraditionalLanguage
(termFormat EnglishLanguage Outside "outside") domainEnglishFormat.kif 43631-43631 "outside" is the printable form of outside in english language

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 8846-8849 An object is outside to another object if and only if the object is not partly located in the other object
(=>
    (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))
    (not
        (located ?OBJ ?ZONE)))
Geography.kif 862-871
(=>
    (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))
    (located ?OBJ ?ZONE))
Geography.kif 851-860
(=>
    (and
        (viewType ?ROOM ?OBJ)
        (instance ?ROOM Room)
        (orientation ?OBJ ?ROOM Outside))
    (modalAttribute
        (exists (?HUMAN ?SEE ?INST)
            (and
                (instance ?HUMAN Human)
                (located ?HUMAN ?ROOM)
                (instance ?SEE Seeing)
                (instance ?INST ?OBJ)
                (patient ?SEE ?INST)
                (agent ?SEE ?HUMAN))) Possibility))
Hotel.kif 924-937
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8838-8840

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


(=>
    (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))
ComputingBrands.kif 2666-2677
(=>
    (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 1014-1022
(=>
    (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 1029-1037
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))
Cars.kif 4322-4329
(=>
    (instance ?VRR VehicleRoofRack)
    (hasPurpose ?VRR
        (exists (?T ?A)
            (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 4648-4659
(=>
    (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 9912-9922
(=>
    (part ?OBJ ?REGION)
    (not
        (orientation ?OBJ ?REGION Outside)))
Mid-level-ontology.kif 8851-8854


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