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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Outdoors
Outdoors(outdoors)
alfresco, open, open_air, out-of-doors, out_of_doors, outdoors, outside

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


(documentation Outdoors EnglishLanguage "Any Region which is not enclosed by a Building or part of a Building.") Mid-level-ontology.kif 10354-10355
(externalImage Outdoors "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px_Centralpark.png") pictureList.kif 1312-1312
(subclass Outdoors Region) Mid-level-ontology.kif 10353-10353 Outdoors is a subclass of region

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


(disjoint Indoors Outdoors) Mid-level-ontology.kif 10366-10366 Indoors is disjoint from outdoors
(termFormat ChineseLanguage Outdoors "在户外") domainEnglishFormat.kif 43705-43705 Indoors is disjoint from outdoors
(termFormat ChineseTraditionalLanguage Outdoors "在戶外") domainEnglishFormat.kif 43704-43704 Indoors is disjoint from outdoors
(termFormat EnglishLanguage Outdoors "outdoors") domainEnglishFormat.kif 43703-43703 Indoors is disjoint from outdoors

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


(=>
    (and
        (instance ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP)
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD))
    (exists (?AMB)
        (and
            (instance ?AMB Ambulating)
            (subProcess ?AMB ?MP))))
Music.kif 988-998
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 10357-10363

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


(=>
    (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 1080-1088
(=>
    (instance ?D OutdoorDiningArea)
    (exists (?O)
        (and
            (instance ?O Outdoors)
            (located ?D ?O))))
Dining.kif 159-164
(=>
    (instance ?X Patio)
    (and
        (modalAttribute
            (attribute ?X Paved) Likely)
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Adjacent)
                (located ?X Outdoors)))))
Mid-level-ontology.kif 28297-28306
(=>
    (patient ?RAIN AcidRainfall)
    (modalAttribute
        (exists (?D ?O ?X ?L)
            (and
                (instance ?D Damaging)
                (causes ?RAIN ?D)
                (instrument ?D ?RAIN)
                (instance ?O Organism)
                (instance ?X StationaryArtifact)
                (instance ?L Outdoors)
                (located ?X ?L)
                (located ?O ?L)
                (or
                    (patient ?D ?O)
                    (patient ?D ?X)))) Possibility))
Geography.kif 2507-2522


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