student - Sigma Knowledge base Browser

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 14392-14393
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14390-14390	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 14391-14391	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 14389-14389	student is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14388-14388	student is a subrelation of member

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4683-4683
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4682-4682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4681-4681

antecedent

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

Mid-level-ontology.kif 14395-14401

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 2 and the process ends up at the human

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16399-16407	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 time position such that the human is a student of the organization holds during the time position and the time position is less than 1 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16413-16424	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 time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 2 year duration(s) and the time position is less than 3 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16430-16441	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 time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 3 year duration(s) and the time position is less than 4 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16447-16458	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 time position such that the human is a student of the organization holds during the time position and the time position is greater than or equal to 1 year duration(s) and the time position is less than 2 year duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14380-14386	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 human の homeは the educational organization では %n
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14308-14320	If a physical is an instance of vocational school, then the physical 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 2 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners