No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1604-1604 |
Les valeurs retourn�es par TransitFn sont des sous-classes de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17138-17138 |
Accelerating est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11140-11140 |
Ambulating est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17308-17308 |
Arriving est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17376-17376 |
Boarding est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4382-4382 |
Crawling est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17417-17417 |
Deboarding est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17166-17166 |
Decelerating est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17319-17319 |
Disappearing est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17276-17276 |
Escaping est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11580-11580 |
Falling est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17225-17225 |
Flying est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 121-121 |
Hajj est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17347-17347 |
Immigrating est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17249-17249 |
Landing est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 808-808 |
LandingWaterLand est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17297-17297 |
Leaving est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13953-13953 |
MilitaryInfiltration est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1724-1724 |
MovingCursor est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1417-1417 |
MovingTowardsPeople est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17262-17262 |
Returning est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3017-3017 |
ShipBerthing est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17236-17236 |
TakingOff est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11292-11292 |
Transf�re est une sous-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11594-11594 |
Transporter est une sous-classe de Translocation |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |