No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11366-11366 |
Carrying e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 5520-5520 |
ChangingClothing e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Dining.kif 526-526 |
DeliveryService e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Cars.kif 2382-2382 |
ElectricTransmission e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11468-11468 |
Propulsionar e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 10247-10247 |
Ingerir e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1169-1169 |
IntraosseousInfusion e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6647-6647 |
Mailing e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6651-6651 |
Messaging e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18055-18055 |
MovingResidence e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17534-17534 |
Pouring e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11399-11399 |
Colocar e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11518-11518 |
Releasing e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11378-11378 |
Remover e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 17603-17603 |
Spraying e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11448-11448 |
Substituir e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 6588-6588 |
Swallowing e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 11480-11480 |
Tocar e' uma sub-classe de Transferencia |
No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 1119-1119 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1455-1455 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 797-797 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 329-329 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 332-332 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2481-2481 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |