No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1318-1330 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 4637-4637 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2567-2567 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 2458-2458 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31590-31590 |
roomTempState CS气 and 加油站 |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1317-1317 |
CS气 是 生物活性物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 549-549 |
CS气 是 失能剂 的 subclass |