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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Science
Science(科学)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21122-21123
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 21121-21121 科学 是 研究领域 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21136-21136 精算科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21193-21193 天文学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21263-21263 Biochemistry 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21231-21231 生物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21251-21251 植物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21210-21210 制图 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21264-21264 化学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21198-21198 计算机科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21274-21274 工程 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21205-21205 地理 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21213-21213 地质学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21217-21217 LibraryScience 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21241-21241 医药科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21261-21261 自然科学领域 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21268-21268 古生物学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21271-21271 物理 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21236-21236 生理 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21125-21125 社会科学 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21245-21245 老兵专用医药 是 科学 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21256-21256 动物学 是 科学 的 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 18895-18900
No TPTP formula. May not be expressible in strict first order. Biography.kif 348-350


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