|
|
   NorthCentralBirdsHeadLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2298-2298 | DisplacementHullWaterVehicle e' disjunto de PlaningHullWaterVehicle |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2299-2301 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2663-2663 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2792-2792 | |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2297-2297 | DisplacementHullWaterVehicle e' uma sub-classe de WaterVehicle |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2303-2303 | Ship e' uma sub-classe de DisplacementHullWaterVehicle |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19896-19896 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19895-19895 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 19894-19894 |
|
|
|
