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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Outdoors

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

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


s__documentation(s__Outdoors,s__EnglishLanguage,'Any Region which is not enclosed by a Building or part of a Building.')

Mid-level-ontology.kif 8855-8856
s__externalImage(s__Outdoors,'http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png')

pictureList.kif 1313-1313 "http://upload.wikimedia.org/wikipedia/commons/thumb/ d/ d2/ Centralpark.png/ 300px-Centralpark.png" is a URL depicting outdoors
s__subclass(s__Outdoors,s__Region)

s__instance(s__Outdoors,s__SetOrClass)

s__instance(s__Region,s__SetOrClass)

Mid-level-ontology.kif 8854-8854 Outdoors is a subclass of region

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


s__disjoint(s__Indoors,s__Outdoors)

Mid-level-ontology.kif 8867-8867 Indoors is disjoint from outdoors
s__termFormat(s__EnglishLanguage,s__Outdoors,'outdoors')

domainEnglishFormat.kif 7697-7697 "outdoors" is the printable form of outdoors in english language

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


( ∀ [V__OUTDOORS]
   (s__instance(V__OUTDOORS,s__Outdoors)s__=>(s__not__m(s__exists__m[V__BUILDING]
       (s__instance(V__BUILDING,s__Building)s__and__ms__orientation(V__OUTDOORS,V__BUILDING,s__Inside)))))
)

Mid-level-ontology.kif 8858-8864

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


( ∀ [V__GRP,V__MP,V__OD]
   ((s__instance(V__GRP,s__MarchingBand)s__and__ms__instance(V__MP,s__MusicalPerformance)s__and__ms__agent(V__MP,V__GRP))
  s__=>(s__instance(V__OD,s__Outdoors)s__and__ms__eventLocated(V__MP,V__OD)
  s__and__m(s__exists__m[V__AMB]
   (s__instance(V__AMB,s__Ambulating)s__and__ms__subProcess(V__AMB,V__MP)))))
)

Music.kif 983-994
( ∀ [V__X]
   (s__instance(V__X,s__Object)s__=>(s__attribute(V__X,s__DownAndOutRoom)s__=>(s__exists__m[V__LOC,V__OUTDOOR]
         (s__instance(V__OUTDOOR,s__Outdoors)s__and__ms__instance(V__LOC,s__Region)s__and__ms__orientation(V__LOC,V__X,s__Adjacent)s__and__ms__orientation(V__LOC,V__X,s__Outside)s__and__ms__located(V__LOC,V__OUTDOOR)))))
)

Hotel.kif 1025-1033
( ∀ [V__D]
   (s__instance(V__D,s__OutdoorDiningArea)s__=>(s__exists__m[V__O]
       (s__instance(V__O,s__Outdoors)s__and__ms__located(V__D,V__O))))
)

Dining.kif 162-167
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24730-24739
No TPTP formula. May not be expressible in strict first order. 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