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 31622-31622 |
roomTempState CSGas and Gas |
No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1317-1317 |
CSGas e' uma sub-classe de Substancia Biologica Ativa |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 549-549 |
CSGas e' uma sub-classe de IncapacitatingAgent |