No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2096-2096 |
公路车辆 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2150-2150 |
出租车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2165-2165 |
电气化铁路车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2139-2139 |
货车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2185-2185 |
头端车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2115-2115 |
机车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2194-2194 |
机车煤车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2110-2110 |
机动铁路车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2156-2156 |
装备车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2122-2122 |
客运铁路车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2215-2215 |
私人铁路车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2074-2074 |
轨道车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2223-2223 |
规模试验车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2208-2208 |
电车 是 波荡股 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50300-50300 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50299-50299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50298-50298 |
|