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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - JuniorCollege
JuniorCollege
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16755-16756
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5042-5042
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4920-4920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5044-5044
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5046-5046
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5045-5045
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5043-5043
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16754-16754 JuniorCollege e' uma sub-classe de PostSecondarySchool

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16750-16750 O conceito PostSecondarySchool e' completamente decomposto em JuniorCollege, College, + University
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31909-31909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31908-31908
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31907-31907


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