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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9157-9158
(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 9156-9156 Outdoors ist eine teilkategorie von Region

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


(disjoint Indoors Outdoors) Mid-level-ontology.kif 9169-9169 Indoors ist dijunkt von Outdoors %n{nicht}
(termFormat ChineseLanguage Outdoors "在户外") domainEnglishFormat.kif 43676-43676
(termFormat ChineseTraditionalLanguage Outdoors "在戶外") domainEnglishFormat.kif 43675-43675
(termFormat EnglishLanguage Outdoors "outdoors") domainEnglishFormat.kif 43674-43674

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 986-996
(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))
Mid-level-ontology.kif 9160-9166

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 26672-26681
(=>
    (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 2519-2534


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