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 16239-16240
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16237-16237 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 16238-16238 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 16236-16236 student is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16235-16235 student is a subrelation of member

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4687-4687
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4686-4686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4685-4685

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16242-16248

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18103-18112
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18118-18128
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18134-18144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18160
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16227-16233
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16152-16164


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