Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  student

Sigma KEE - student
student

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16795-16796
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16793-16793 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 16794-16794 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 16792-16792 student is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16791-16791 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 65944-65944

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


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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18728-18737
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18743-18753
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18759-18769
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18775-18785
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16783-16789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16708-16720


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