No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6112-6113 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10028-10028 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 118-118 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11060-11060 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11061-11061 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11062-11062 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31635-31635 |
roomTempState 寶石 and 固體 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 6098-6098 |
子類 寶石 and Mixture |