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

Formal Language: 



KB Term:  Term intersection
English Word: 

  subField

 Sigma KEE - subField
subField

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21344-21346
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21342-21342 子领域 的 1 数量 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21343-21343 子领域 的 2 数量 是 研究领域 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21341-21341 子领域 是 非自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21340-21340 子领域 是 传递关系 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21339-21339 子领域 是 子类别 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4686-4686
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4685-4685
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4684-4684
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55722-55722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55721-55721
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 55720-55720

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21251-21251 植物学 是 生物学 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21210-21210 制图 是 地理 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21288-21288 电气工程领域 是 工程 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21293-21293 电子产品 是 工程 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21292-21292 电子产品 是 物理 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21308-21308 机械工程领域 是 工程 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21301-21301 力学领域 是 数学 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21302-21302 力学领域 是 物理 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21241-21241 医药科学 是 生物学 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21236-21236 生理 是 生物学 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21298-21298 PowerElectronics 是 电子产品 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21245-21245 老兵专用医药 是 医药科学 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21256-21256 动物学 是 生物学 的 sub-field


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