Transfer
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4066-4066 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11316-11317 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1795-1796 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12019-12019 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12022-12022 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12023-12023 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12020-12020 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12024-12024 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12025-12025 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12018-12018 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12021-12021 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11314-11314 | Transf�re est une sous-classe de Translocation |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11388-11388 | Carrying est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5519-5519 | ChangingClothing est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 526-526 | DeliveryService est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2388-2388 | ElectricTransmission est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11490-11490 | Propulser est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10269-10269 | Ing�rer est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1169-1169 | IntraosseousInfusion est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6646-6646 | Mailing est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6650-6650 | Messaging est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18054-18054 | MovingResidence est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17533-17533 | Pouring est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11421-11421 | Mettre est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11540-11540 | Releasing est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11400-11400 | Supprimer est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17602-17602 | Spraying est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11470-11470 | Remplacer est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6587-6587 | Swallowing est une sous-classe de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11502-11502 | Toucher est une sous-classe de transf�re |
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 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29760-29760 | Le nombre 4 argument de beforeOnPath est une instance de transf�re |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11354-11354 | Le nombre 1 argument de objectTransferred est une instance de transf�re |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29767-29776 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11107-11117 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11140-11150 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1723-1739 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3901-3911 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3913-3929 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4054-4069 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11374-11379 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11381-11386 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11319-11325 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11156-11171 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11124-11134 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 871-885 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9963-9975 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1916-1929 |
|
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 949-964 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 973-983 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4461-4470 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2635-2651 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2671-2679 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2546-2561 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1000-1011 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11340-11347 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2696-2709 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3311-3321 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3270-3285 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3826-3842 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9506-9518 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9545-9556 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1527-1535 | |
No TPTP formula. May not be expressible in strict first order. | engineering.kif 914-925 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11081-11088 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4677-4688 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 2775-2783 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29789-29798 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29811-29820 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29778-29787 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |