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 16892-16894
No TPTP formula. May not be expressible in strict first order. Merge.kif 16891-16891 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 9669-9669 Library is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9699-9699 Museum is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18040-18040 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1071-1071 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. english_format.kif 1353-1353 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. french_format.kif 749-749 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 281-281 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. terms-it.txt 284-284 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2433-2433 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 701-701 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 320-320 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. terms-de.txt 579-579 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 770-770 School is a subclass of educational organization
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 285-285 School is a subclass of educational organization

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18181-18181 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 18253-18253 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 1003-1007
No TPTP formula. May not be expressible in strict first order. Merge.kif 10825-10829
No TPTP formula. May not be expressible in strict first order. Merge.kif 10836-10840
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18018-18025
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24224-24229


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