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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - School
School(学校)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16654-16656
No TPTP formula. May not be expressible in strict first order. pictureList.kif 716-716
No TPTP formula. May not be expressible in strict first order. pictureList.kif 161-161
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16653-16653 学校 是 教育机构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16762-16762 艺术学校 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16778-16778 日间学校 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16666-16666 中学 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16722-16722 中学后 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16662-16662 私立学校 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16658-16658 公立学校 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16685-16685 中学 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16704-16704 职业学校 是 学校 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51549-51549
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51548-51548
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51547-51547

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6984-6989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15598-15603


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