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