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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - College
College(college)
more pictures...
college

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16732-16737
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5920-5920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6282-6282
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6283-6283
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6284-6284
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6285-6285
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6286-6286
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6287-6287
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6290-6290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16731-16731 College is a subclass of post secondary school

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15590-15590
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15589-15589
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15588-15588

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16723-16723 Post secondary school is exhaustively partitioned into junior college, college, and university

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16690-16702
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16671-16683


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