| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25598-25598 |
Circular 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2678-2678 |
凹 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1426-1426 |
ConeSegment 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 2646-2646 |
凸 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25606-25606 |
DiskShaped 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25590-25590 |
Elliptical 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 9949-9949 |
可填写 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2781-2781 |
平面 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2818-2818 |
水平的形状 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 19424-19424 |
线形成 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2801-2801 |
又长又瘦 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Cars.kif 4409-4409 |
RingTorus 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 25587-25587 |
RoundTwoDimensional 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 2838-2838 |
对称的形状 是 形状属性 的 instance |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 12532-12532 |
指纹 是 形状属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17780-17780 |
几何图 是 形状属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 154-154 |
分子结构属性 是 形状属性 的 subclass |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1254-1254 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1729-1729 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 932-932 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 466-466 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 469-469 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2616-2616 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 884-884 |
|
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
