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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JuniorCollege

 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 16727-16728
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 16726-16726 子類 大專 and 中學後

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16722-16722 劃分 中學後, 大專, 學院 and 大學
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 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