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 10336-10337
(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 10335-10335 在户外地区subclass

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


(disjoint Indoors Outdoors) Mid-level-ontology.kif 10348-10348 在室内 和 % 2 是 disjoint
(termFormat ChineseLanguage Outdoors "在户外") domainEnglishFormat.kif 43676-43676 在室内 和 % 2 是 disjoint
(termFormat ChineseTraditionalLanguage Outdoors "在戶外") domainEnglishFormat.kif 43675-43675 在室内 和 % 2 是 disjoint
(termFormat EnglishLanguage Outdoors "outdoors") domainEnglishFormat.kif 43674-43674 在室内 和 % 2 是 disjoint

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 10339-10345

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 28538-28547
(=>
    (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 2677-2692


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