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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CollegeStudentPosition

 Sigma KEE - CollegeStudentPosition
CollegeStudentPosition

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18815-18816
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18814-18814 CollegeStudentPosition est une sous-classe de position

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18751-18751 CollegeFreshman est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18766-18766 CollegeJunior est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18782-18782 CollegeSenior est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18798-18798 CollegeSophomore est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15620-15620
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15619-15619
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15618-15618


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