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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EducationalFacility
EducationalFacility(educational facility)

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


s__documentation(s__EducationalFacility,s__EnglishLanguage,'"A building or campus, owned by an EducationalOrganization, which is intended as the location for EducationalProcesses."')

Mid-level-ontology.kif 20771-20773
s__instance(s__StationaryArtifact,s__SetOrClass)

s__subclass(s__EducationalFacility,s__StationaryArtifact)

s__instance(s__EducationalFacility,s__SetOrClass)

Mid-level-ontology.kif 20770-20770 Educational facility is a subclass of stationary artifact

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


s__termFormat(s__ChineseLanguage,s__EducationalFacility,'"教育设施"')

domainEnglishFormat.kif 21261-21261
s__termFormat(s__ChineseTraditionalLanguage,s__EducationalFacility,'"教育設施"')

domainEnglishFormat.kif 21260-21260
s__termFormat(s__EnglishLanguage,s__EducationalFacility,'"educational facility"')

domainEnglishFormat.kif 21259-21259

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


( ! [V__X] :
   ((s__instance(V__X,s__EducationalFacility) =>
       (( ? [V__ORG] :
           ((s__instance(V__ORG,s__EducationalOrganization) &
               s__possesses(V__ORG,V__X))))))
   )
)

Mid-level-ontology.kif 20775-20780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20782-20788


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