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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Outdoors

Sigma KEE - Outdoors
Outdoors

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 9097-9098
(externalImage Outdoors "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png") pictureList.kif 1313-1313
(subclass Outdoors Region) Mid-level-ontology.kif 9096-9096

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


(disjoint Indoors Outdoors) Mid-level-ontology.kif 9109-9109
(termFormat ChineseLanguage Outdoors "在户外") domainEnglishFormat.kif 43689-43689
(termFormat ChineseTraditionalLanguage Outdoors "在戶外") domainEnglishFormat.kif 43688-43688
(termFormat EnglishLanguage Outdoors "outdoors") domainEnglishFormat.kif 43687-43687

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 985-995
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 9100-9106

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 1072-1080
(=>
    (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 26722-26731
(=>
    (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 2517-2532


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