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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EducationalOrganization

Sigma KEE - EducationalOrganization
EducationalOrganization(educational organization)Academy_of_Motion_Picture_Arts_and_Sciences, Academy_of_Television_Arts_and_Sciences, Catholic_school, Dartmouth, Dartmouth_College, Eton_College, French_Academy, Gymnasium, National_Academy_of_Sciences, Oxonian, Plato's_Academy, Royal_Academy, Royal_Academy_of_Arts, Royal_Society, Royal_Society_of_London_for_Improving_Natural_Knowledge, Sabbath_school, Sunday_school, US_Air_Force_Academy, US_Military_Academy, US_Naval_Academy, United_States_Air_Force_Academy, United_States_Military_Academy, United_States_Naval_Academy, Winchester_College, academe, academia, academy, air_force_academy, archive, board_of_education, boarding_school, borstal, business_college, choir_school, church_school, college, collegial, collegiate, composite_school, comprehensive_school, conservatoire, conservatory, correspondence_school, crammer, dance_school, dancing_school, day_school, driving_school, educational_institution, elementary_school...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3747-3748
No TPTP formula. May not be expressible in strict first order. Merge.kif 15602-15604
No TPTP formula. May not be expressible in strict first order. Merge.kif 15601-15601 Educational organization is a subclass of organization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7352-7352 Library is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7382-7382 Museum is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13300-13300 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1071-1071
No TPTP formula. May not be expressible in strict first order. english_format.kif 1358-1358

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13441-13441 The number 2 argument of student is an instance of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13473-13473 The number 2 argument of teacher is an instance of educational organization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 950-954
No TPTP formula. May not be expressible in strict first order. Merge.kif 10025-10029
No TPTP formula. May not be expressible in strict first order. Merge.kif 10036-10040
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13278-13285
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19017-19022


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