more pictures...
| Engineering(engineering)
more pictures... | | engineering, high_tech, high_technology, technical, technological, technology |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21276-21277 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9187-9187 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 5987-5987 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6479-6479 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6480-6480 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 6481-6481 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8471-8471 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9189-9189 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9188-9188 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9190-9190 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21275-21275 | Engineering is a subclass of science |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21288-21288 | Electrical engineering is a sub-field of engineering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21293-21293 | Electronics is a sub-field of engineering |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21308-21308 | Mechanical engineering is a sub-field of engineering |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22096-22096 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22095-22095 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 22094-22094 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Biography.kif 427-429 |
|
|
|
|