Aircraft
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17818-17820 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 286-286 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 298-298 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 261-261 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 285-285 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 275-275 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 292-292 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 278-278 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 297-297 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 280-280 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 289-289 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 288-288 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 294-294 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 1619-1619 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 295-295 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 150-150 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 276-276 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 267-267 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 302-302 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 272-272 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 291-291 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 279-279 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 266-266 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | pictureList-ImageNet.kif 270-270 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 1698-1698 | industryProductType AircraftManufacturing and Aircraft |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2582-2582 | Airplane e' uma sub-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2593-2593 | GliderPlane e' uma sub-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17826-17826 | Helicopter e' uma sub-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Military.kif 155-155 | MilitaryAircraft e' uma sub-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2592-2592 | Rocket e' uma sub-classe de Aircraft |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6120-6120 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6119-6119 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 6118-6118 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1456-1456 | O argumento numero 1 de absoluteHeight e' uma instancia de Aircraft |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1462-1467 | A altitude de Aircraft e' Objeto auto-conectado Objeto auto-conectado e' uma superficie de PlanetEarth Aircraft e' uma instancia de Aircraft absoluteHeight Aircraft and AltitudeMeasure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17822-17824 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | naics.kif 7953-7978 |
|
No TPTP formula. May not be expressible in strict first order. | Biography.kif 436-465 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3323-3330 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 736-741 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17802-17807 | |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3359-3366 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17689-17696 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1516-1521 |