|
|
   GeometricPoint
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3970-3971 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17970-17972 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17969-17969 | 子類 幾何點 and 幾何圖 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17964-17964 | 劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 7709-7709 | 範圍 圓心 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25841-25841 | 範圍 圓心 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25840-25840 | 範圍 圓心 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25839-25839 | 範圍 圓心 and 幾何點 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5814-5814 | 域 endPointsOfLine, 1 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5815-5815 | 域 endPointsOfLine, 2 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18160-18160 | 域 幾何距離, 1 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18161-18161 | 域 幾何距離, 2 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18010-18010 | 域 點圖, 1 and 幾何點 |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18025-18025 | 域 交點, 3 and 幾何點 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27265-27269 |
|
|
|