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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8169-8169 Library is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8199-8199 Museum is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14281-14281 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 14419-14419 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 14450-14450 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 1397-1401
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 14259-14266
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20492-20497


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