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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Outside

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 8710-8712
(instance Outside PositionalAttribute) Mid-level-ontology.kif 8708-8708 Outside is an instance of positional attribute

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


(contraryAttribute Inside Outside) Mid-level-ontology.kif 8709-8709 Inside is the opposite of outside
(termFormat ChineseLanguage Outside "外") domainEnglishFormat.kif 43699-43699
(termFormat ChineseTraditionalLanguage Outside "外") domainEnglishFormat.kif 43698-43698
(termFormat EnglishLanguage Outside "outside") domainEnglishFormat.kif 43697-43697

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


(<=>
    (orientation ?OBJ ?REGION Outside)
    (not
        (partlyLocated ?OBJ ?REGION)))
Mid-level-ontology.kif 8722-8725 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.0))
    (not
        (located ?OBJ ?ZONE)))
Geography.kif 870-879
(=>
    (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.0))
    (located ?OBJ ?ZONE))
Geography.kif 859-868
(=>
    (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 932-945
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 8714-8716

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 2661-2672
(=>
    (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 1035-1043
(=>
    (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 1050-1058
(=>
    (instance ?OE OutboardEngine)
    (hasPurpose ?OE
        (exists (?W)
            (and
                (instance ?W WaterVehicle)
                (meetsSpatially ?OE ?W)
                (orientation ?OE ?W Outside)))))
Cars.kif 4353-4360
(=>
    (instance ?ROOT PlantRoot)
    (hasPurpose ?ROOT
        (exists (?TRAN ?STUFF ?HOST)
            (and
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?ROOT)
                (origin ?TRAN ?HOST)
                (orientation ?HOST ?ROOT Outside)
                (objectTransferred ?TRAN ?STUFF)
                (or
                    (instance ?STUFF Water)
                    (instance ?STUFF Nutrient))))))
Mid-level-ontology.kif 9106-9118
(=>
    (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 4672-4683
(=>
    (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 11172-11182
(=>
    (part ?OBJ ?REGION)
    (not
        (orientation ?OBJ ?REGION Outside)))
Mid-level-ontology.kif 8727-8730


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