| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25676-25680 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25673-25673 | 域 氣溫, 1 and Object |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25674-25674 | 域 氣溫, 2 and TemperatureMeasure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25672-25672 | 例 氣溫 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25675-25675 | 子關係 氣溫 and 測量 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 120-120 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 119-119 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 118-118 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6282-6282 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6281-6281 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6280-6280 |
| antecedent |
|
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 2680-2690 | 例 Entity and Region 持有期間 TimePosition and 屬性 Entity and StandardAmbientTemperaturePressure 持有期間 TimePosition and 測量 298.15 and 凱文度 是 Entity 的 air 溫度 測量 29.530 and 英寸汞 是 Entity 的 barometric 壓力 |
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1865-1877 |
|
| No TPTP formula. May not be expressible in strict first order. | emotion.kif 1902-1914 |
|
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1139-1151 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25994-26002 |
|
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