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 8855-8856
(externalImage Outdoors "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png") pictureList.kif 1313-1313 externalImage Outdoors and "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png"
(subclass Outdoors Region) Mid-level-ontology.kif 8854-8854 Outdoors 是 地区 的 subclass

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


(disjoint Indoors Outdoors) Mid-level-ontology.kif 8867-8867 Indoors 和 % 2 是 disjoint
(termFormat EnglishLanguage Outdoors "outdoors") domainEnglishFormat.kif 7697-7697 termFormat EnglishLanguage, Outdoors and "outdoors"

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


(=>
    (instance ?OUTDOORS Outdoors)
    (not
        (exists (?BUILDING)
            (and
                (instance ?BUILDING Building)
                (orientation ?OUTDOORS ?BUILDING Inside)))))		 Mid-level-ontology.kif 8858-8864

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


(=>
    (and
        (instance ?GRP MarchingBand)
        (instance ?MP MusicalPerformance)
        (agent ?MP ?GRP))
    (and
        (instance ?OD Outdoors)
        (eventLocated ?MP ?OD)
        (exists (?AMB)
            (and
                (instance ?AMB Ambulating)
                (subProcess ?AMB ?MP)))))		 Music.kif 983-994
(=>
    (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 1025-1033
(=>
    (instance ?D OutdoorDiningArea)
    (exists (?O)
        (and
            (instance ?O Outdoors)
            (located ?D ?O))))		 Dining.kif 162-167
(=>
    (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 24730-24739
(=>
    (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 2448-2463


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners