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 18788-18789
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18787-18787 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 18724-18724 CollegeFreshman est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18739-18739 CollegeJunior est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18755-18755 CollegeSenior est une instance de CollegeStudentPosition
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18771-18771 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