Carrying(carrying) | ![]() | bear, carry, empty-handed, lift, pack, take |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3029-3030 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11518-11519 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1797-1798 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11516-11516 | Carrying is a subclass of transfer |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13359-13359 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13358-13358 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13357-13357 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11521-11526 |
|
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22218-22240 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2403-2418 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2394-2401 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4788-4797 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27152-27157 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1820-1828 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1855-1871 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4537-4539 |
|
No TPTP formula. May not be expressible in strict first order. | Military.kif 130-138 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31453-31461 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4769-4780 |
|
![]() |
![]() |