No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2781-2786 |
客体 是 长度测量 above 地表 若且唯若 有存在 自身连接物体 这样 那个 客体 的 altitude 是 那个 自身连接物体 和 那个 自身连接物体 是 行星地球 的 surface |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 7497-7509 |
|
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1441-1451 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3188-3196 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21147-21177 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5003-5008 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8848-8857 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9396-9402 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 1205-1210 |
|
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2302-2308 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3262-3273 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 10991-10998 |
|
No TPTP formula. May not be expressible in strict first order. |
VirusProteinAndCellPart.kif 473-480 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3472-3481 |
|
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 328-333 |
|
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3991-3997 |
|