No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4483-4483 |
Basket e' uma sub-classe de PorousContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4561-4561 |
Colander e' uma sub-classe de PorousContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4521-4521 |
Sieve e' uma sub-classe de PorousContainer |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4540-4540 |
Strainer e' uma sub-classe de PorousContainer |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64358-64358 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64359-64359 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64357-64357 |
|