No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1604-1604 |
Os valores retornados por TransitFn sao as sub-classes de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17138-17138 |
Accelerating e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11140-11140 |
Ambulating e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17308-17308 |
Arriving e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17376-17376 |
Boarding e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 4382-4382 |
Crawling e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17417-17417 |
Deboarding e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17166-17166 |
Decelerating e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17319-17319 |
Disappearing e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17276-17276 |
Escaping e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11580-11580 |
Falling e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17225-17225 |
Flying e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 121-121 |
Hajj e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17347-17347 |
Immigrating e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17249-17249 |
Landing e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
MilitaryProcesses.kif 808-808 |
LandingWaterLand e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17297-17297 |
Leaving e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 13953-13953 |
MilitaryInfiltration e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
ComputerInput.kif 1724-1724 |
MovingCursor e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
emotion.kif 1417-1417 |
MovingTowardsPeople e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17262-17262 |
Returning e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 3017-3017 |
ShipBerthing e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17236-17236 |
TakingOff e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11292-11292 |
Transferencia e' uma sub-classe de Translocation |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11594-11594 |
Transporte e' uma sub-classe de Translocation |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |