No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2004-2005 |
|
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2001-2001 |
域子類 parasitic, 1 and Organism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2002-2002 |
域子類 parasitic, 2 and Organism |
No TPTP formula. May not be expressible in strict first order. |
WMD.kif 2000-2000 |
例 parasitic and BinaryPredicate |