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 16754-16756
No TPTP formula. May not be expressible in strict first order. Merge.kif 16753-16753 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 8462-8462 Library is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8492-8492 Museum is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16652-16652 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 1353-1353
No TPTP formula. May not be expressible in strict first order. french_format.kif 749-749
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 281-281
No TPTP formula. May not be expressible in strict first order. terms-it.txt 284-284
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2433-2433
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 701-701
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 320-320
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 770-770
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 285-285

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16793-16793 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 16865-16865 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 1010-1014
No TPTP formula. May not be expressible in strict first order. Merge.kif 10724-10728
No TPTP formula. May not be expressible in strict first order. Merge.kif 10735-10739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16630-16637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22580-22585


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