No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 3712-3712 |
Furniture est disjoint de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11595-11595 |
Transporter est reli� � l'int�rieur de SUMO � v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15422-15422 |
Elevator est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Military.kif 128-128 |
MilitaryPlatform est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15461-15461 |
Oar est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 15448-15448 |
Pump est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1035-1035 |
SnowSki est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15974-15974 |
Vehicle est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1225-1225 |
WaterSki est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 26124-26124 |
Wheelchair est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
Sports.kif 1279-1279 |
WindSurfingBoard est une sous-classe de v�hicule de transport |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1058-1058 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1327-1327 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 736-736 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 267-267 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 270-270 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2420-2420 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 688-688 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 306-306 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 757-757 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 271-271 |
|