| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17825-17825 | Helicopter e' uma sub-classe de Aircraft |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1767-1767 | CH53E e' uma sub-classe de Helicopter |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1828-1828 | CH46D e' uma sub-classe de Helicopter |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1889-1889 | AH1 e' uma sub-classe de Helicopter |
|
|