Carrying |
appearance as argument number 1 |
(documentation Carrying ChineseLanguage "这是由 Animal 或 Human 从一点 Transfer 到另外 一点的过程。") | chinese_format.kif 3029-3030 | |
(documentation Carrying EnglishLanguage "Transfer from one point to another by means of an Animal or Human.") | Merge.kif 11390-11391 | |
(documentation Carrying JapaneseLanguage "Animal または Human によってある所から別の所へ Transfer 。") | japanese_format.kif 1797-1798 | |
(subclass Carrying Transfer) | Merge.kif 11388-11388 | Carrying est une sous-classe de transf�re |
appearance as argument number 2 |
(termFormat ChineseLanguage Carrying "携带") | domainEnglishFormat.kif 13350-13350 | |
(termFormat ChineseTraditionalLanguage Carrying "攜帶") | domainEnglishFormat.kif 13349-13349 | |
(termFormat EnglishLanguage Carrying "carrying") | domainEnglishFormat.kif 13348-13348 |
antecedent |
(=> (instance ?CARRY Carrying) (exists (?ANIMAL) (and (instance ?ANIMAL Animal) (instrument ?CARRY ?ANIMAL)))) |
Merge.kif 11393-11398 |
consequent |