No TPTP formula. May not be expressible in strict first order. |
MilitaryDevices.kif 1363-1363 |
绝对过滤器 是 过滤 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 938-938 |
AirFilter 是 过滤 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 1683-1683 |
CharcoalFilter 是 过滤 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 917-917 |
FuelFilter 是 过滤 的 subclass |
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 |
|