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

Formal Language: 



KB Term:  Term intersection
English Word: 

  classmate

Sigma KEE - classmate
classmate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16233-16234
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16230-16230 The number 1 argument of classmate is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16231-16231 The number 2 argument of classmate is an instance of human
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16232-16232 The number 3 argument of classmate is an instance of educational course
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16229-16229 classmate is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16228-16228 classmate is an instance of ternary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64279-64279
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64278-64278
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64277-64277
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64276-64276

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


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


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