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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HighSchool

Sigma KEE - HighSchool
HighSchool(high school)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16667-16669
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16666-16666 High school is a subclass of school

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28155-28155
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28154-28154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28153-28153

consequent
-------------------------


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


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