| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2107-2110 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4048-4053 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 758-762 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4045-4045 | 域 部分位於, 1 and Physical |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4046-4046 | 域 部分位於, 2 and Object |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4043-4043 | 例 部分位於 and BinaryPredicate |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4042-4042 | 例 部分位於 and SpatialRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4044-4044 | 例 部分位於 and TotalValuedRelation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 165-165 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 166-166 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 102-102 | |
| No TPTP formula. May not be expressible in strict first order. | relations-it.txt 214-214 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1931-1931 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 54-54 | |
| No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 129-129 | |
| No TPTP formula. May not be expressible in strict first order. | relations-de.txt 203-203 | |
| No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 252-252 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 121-121 | |
| No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 103-103 | |
| No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 406-406 | |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2237-2237 | 子關係 代理人在區域內經營 and 部分位於 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4073-4073 | 子關係 位於 and 部分位於 |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 166-166 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44580-44580 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44579-44579 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 44578-44578 | |
| No TPTP formula. May not be expressible in strict first order. | terms-de.txt 63-63 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1727-1733 |
|
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 2003-2012 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4061-4068 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4055-4059 | |
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 148-157 |
|
| No TPTP formula. May not be expressible in strict first order. | Weather.kif 159-165 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 507-512 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9119-9122 | 方位 Object, Object and 外 部分位於 Object and Object |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 656-663 | LengthMeasure 是 GeographicArea 的 total 水路長路 length 卡帕 SymbolicString and 例 SymbolicString and 水路 部分位於 SymbolicString and GeographicArea and LengthMeasure |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 3496-3501 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 507-512 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 987-989 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4092-4094 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 70-78 | |
| No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 92-99 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1250-1257 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1719-1725 |
|
| appearance as argument number 0 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4640-4640 | 部分位於 北冰洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4641-4641 | 部分位於 北冰洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4578-4578 | 部分位於 北太平洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4579-4579 | 部分位於 北太平洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4592-4592 | 部分位於 NortheasternPacificOcean and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4591-4591 | 部分位於 NortheasternPacificOcean and 北半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4604-4604 | 部分位於 NorthwesternPacificOcean and 北半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4605-4605 | 部分位於 NorthwesternPacificOcean and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4560-4560 | 部分位於 南大西洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4559-4559 | 部分位於 南大西洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4618-4618 | 部分位於 南太平洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4619-4619 | 部分位於 南太平洋 and 西半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4656-4656 | 部分位於 南部海洋 and 東半球 |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 4657-4657 | 部分位於 南部海洋 and 西半球 |
|
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