No TPTP formula. May not be expressible in strict first order. |
WMD.kif 541-543 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 5865-5865 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6125-6125 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 6126-6126 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31556-31556 |
roomTempState 胂 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 540-540 |
胂 是 血液剂 的 subclass |