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 21343-21345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21341-21341 域子類 子領域, 1 and FieldOfStudy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21342-21342 域子類 子領域, 2 and FieldOfStudy
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21340-21340 例 子領域 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21339-21339 例 子領域 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21338-21338 子關係 子領域 and 子類

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 21250-21250 植物學 是 生物學 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21209-21209 製圖 是 地理 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21287-21287 電氣工程領域 是 工程 的 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 21291-21291 電子產品 是 物理 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21307-21307 機械工程領域 是 工程 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21300-21300 力學領域 是 數學 的 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 21240-21240 醫藥科學 是 生物學 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21235-21235 生理 是 生物學 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21297-21297 PowerElectronics 是 電子產品 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21244-21244 老兵專用醫藥 是 醫藥科學 的 sub-field
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21255-21255 動物學 是 生物學 的 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