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 18182-18183
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18180-18180 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 18181-18181 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 18179-18179 student is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18178-18178 student is a subrelation of member

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


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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4680-4680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65971-65971

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20299-20308
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20314-20324
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20330-20340
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20346-20356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18170-18176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18095-18107


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