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

Formal Language: 


KB Term:  Term intersection
English Word: 

  EducationalFacility

Sigma KEE - EducationalFacility
EducationalFacility(教育设施)

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


(documentation EducationalFacility EnglishLanguage "A building or campus, owned by an EducationalOrganization, which is intended as the location for EducationalProcesses.") Mid-level-ontology.kif 24218-24220
(subclass EducationalFacility StationaryArtifact) Mid-level-ontology.kif 24217-24217 教育设施固定人工制品subclass
(typicalPart EducationalFacility MilitaryBase) MilitaryProcesses.kif 2749-2749 教育设施 typicallyMilitaryBasepart

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


(termFormat ChineseLanguage EducationalFacility "教育设施") domainEnglishFormat.kif 21279-21279
(termFormat ChineseTraditionalLanguage EducationalFacility "教育設施") domainEnglishFormat.kif 21278-21278
(termFormat EnglishLanguage EducationalFacility "educational facility") domainEnglishFormat.kif 21277-21277

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


(=>
    (instance ?X EducationalFacility)
    (exists (?ORG)
        (and
            (instance ?ORG EducationalOrganization)
            (possesses ?ORG ?X))))
Mid-level-ontology.kif 24222-24227
(=>
    (instance ?X EducationalFacility)
    (hasPurpose ?X
        (exists (?EV)
            (and
                (instance ?EV EducationalProcess)
                (eventLocated ?EV ?X)))))
Mid-level-ontology.kif 24229-24235

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


(=>
    (instance ?C EducationalCampus)
    (exists (?F)
        (and
            (instance ?F EducationalFacility)
            (part ?F ?C))))
Mid-level-ontology.kif 7737-7742


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