No TPTP formula. May not be expressible in strict first order. |
WMD.kif 590-590 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 10033-10033 |
|
No TPTP formula. May not be expressible in strict first order. |
pictureList.kif 11077-11077 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 31636-31636 |
roomTempState GF and Liquid |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 589-589 |
GF e' uma sub-classe de GSeriesNerveAgent |