No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2781-2786 |
Object 是 LengthMeasure above 地表 SelfConnectedObject 高度 Object, SelfConnectedObject and LengthMeasure 表面 SelfConnectedObject and 行星地球 |
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 |
|