VocationalSchool - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - VocationalSchool

VocationalSchool(vocational school)

trade_school, vocational_school

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18112-18113
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18111-18111	Vocational school is a subclass of school

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61880-61880
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61879-61879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61878-61878

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 18115-18127

If a physical is an instance of vocational school,
then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of educational process and the entity is located at the physical and the other entity is a student of the physical and the other entity experiences the entity and the third entity is an instance of occupational trade and the third entity is an attribute of the other entity holds during the end of the time of existence of the entity

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