| Manifold(manifold)
| | manifold |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1731-1732 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4775-4775 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1730-1730 | Manifold is a subclass of engineering component |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35970-35970 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35969-35969 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35968-35968 | |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 3260-3260 | A ManifoldHeatControlValve is typically a part of a manifold |
|
|
|