SteamEngine
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1742-1743 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2003-2003 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2376-2376 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1741-1741 | Steam engine is a subclass of engine |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55226-55226 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55225-55225 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55224-55224 |