![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3968-3969 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17804-17806 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9262-9262 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9261-9261 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9259-9259 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9264-9264 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9263-9263 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8503-8503 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9260-9260 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17803-17803 | 劃分 幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17802-17802 | 子類 幾何圖 and ShapeAttribute |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17808-17808 | 子類 幾何點 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17813-17813 | 子類 一維圖 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17835-17835 | 子類 三維圖 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17817-17817 | 子類 二維圖 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25818-25818 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25817-25817 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25816-25816 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17857-17857 | 域 圖的角度, 2 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17842-17842 | 域 幾何部分, 1 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17843-17843 | 域 幾何部分, 2 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17850-17850 | 域 點圖, 2 and 幾何圖 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4980-4980 | 域 圖的一面, 2 and 幾何圖 |
![]() |
![]() |