TreeView Knowledge Base Browser - student

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - student

student

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17013-17014
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17011-17011	The number 1 argument of student is an instance of human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17012-17012	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 17010-17010	student is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17009-17009	student is a subrelation of member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4678-4678
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4677-4677
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4676-4676
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 66003-66003

antecedent

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

Mid-level-ontology.kif 17016-17022

If a human is a student of an educational organization,
then there exists a process such that the process is an instance of educational process and the process is located at the educational organization and the process ends up at the human

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18986-18995	If college freshman is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is less than 1
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19001-19011	If college junior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 2 and the real number is less than 3
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19017-19027	If college senior is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 3 and the real number is less than 4
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19033-19043	If college sophomore is an attribute of a position and a human holds the position of the position in an organization, then there exists a real number such that the human is a student of the organization holds during the real number year duration(s) and the real number is greater than or equal to 1 and the real number is less than 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17001-17007	If an educational organization is an instance of day school, then there doesn't exist a human such that the human is a student of the educational organization and the home of the human is the educational organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16926-16938	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 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