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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Science

 Sigma KEE - Science
Science(科学)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21123-21124
No TPTP formula. May not be expressible in strict first order. pictureList.kif 717-717
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8697-8697
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21122-21122 科学 是 研究领域 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21137-21137 精算科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21194-21194 天文学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21264-21264 Biochemistry 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21232-21232 生物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21252-21252 植物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21211-21211 制图 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21265-21265 化学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21199-21199 计算机科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21275-21275 工程 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21206-21206 地理 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21214-21214 地质学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21218-21218 LibraryScience 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21242-21242 医药科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21262-21262 自然科学领域 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21269-21269 古生物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21272-21272 物理 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21237-21237 生理 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21126-21126 社会科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21246-21246 老兵专用医药 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21257-21257 动物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51561-51561
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51560-51560
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 51559-51559

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18896-18901
No TPTP formula. May not be expressible in strict first order. Biography.kif 348-350


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