No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2737-2741 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7022-7022 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7023-7023 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7025-7025 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6600-6600 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7026-7026 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 7027-7027 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31640-31640 |
roomTempState 溫室氣體 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2736-2736 |
子類 溫室氣體 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2735-2735 |
子類 溫室氣體 and PureSubstance |