| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 692-693 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 688-688 | 边界 的 1 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 689-689 | 边界 的 2 数量 是 地理区域 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 686-686 | 边界 是 二元函数 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 690-690 | 边界 的 range 是 地理区域 的实例 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 324-324 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 323-323 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 322-322 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 687-687 | 边界 的名 是 "border" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6176-6176 | 海岸线 是 边界 的 subrelation |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11651-11651 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11650-11650 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 11649-11649 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 705-710 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 695-697 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 712-714 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 705-710 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 699-703 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 742-750 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 758-760 |
|
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