No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1363-1363 |
AbsoluteFilter e' uma sub-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 938-938 |
AirFilter e' uma sub-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1689-1689 |
CharcoalFilter e' uma sub-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 917-917 |
FuelFilter e' uma sub-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23714-23714 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23713-23713 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 23712-23712 |
|