Carrying
|
|
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 11368-11369 | |
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 11366-11366 | 子類 攜帶 and Transfer |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13350-13350 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13349-13349 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13348-13348 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 11371-11376 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20601-20623 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2392-2407 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2383-2390 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4345-4354 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25490-25495 | |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 4476-4478 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29534-29542 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4326-4337 |