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 14418-14419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14416-14416 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 14417-14417 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 14415-14415 student is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14414-14414 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 14421-14427

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16425-16433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16439-16450
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16456-16467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16473-16484
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14406-14412
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14334-14346


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