No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1363-1363 |
AbsoluteFilter est une sous-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 938-938 |
AirFilter est une sous-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1689-1689 |
CharcoalFilter est une sous-classe de Filter |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 917-917 |
FuelFilter est une sous-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 |
|