No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4813-4813 |
例 中凸的圓形 and 三維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4835-4835 |
子類 錐體 and 三維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4839-4839 |
子類 圓筒 and 三維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26555-26555 |
子類 HemisphereFigure and 三維圖 |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4985-4985 |
子類 球 and 三維圖 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57902-57902 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57901-57901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57900-57900 |
|