abstractCounterpart |
appearance as argument number 1 |
(documentation abstractCounterpart ChineseLanguage "(abstractCounterpart ?AB ?PHYS) 它一个 Physical 实体和这个 Physical entity 在某些维度的理想模式的 Abstract 联系,例如: Abstract GraphNode 可以表达为 ComputerNetwork 里一个实际 Computer 的对应。") | chinese_format.kif 2382-2384 | |
(documentation abstractCounterpart EnglishLanguage "(abstractCounterpart ?AB ?PHYS) relates a Physical entity to an Abstract one which is an idealized model in some dimension of the Physical entity. For example, an Abstract GraphNode could be stated to be the counterpart of an actual Computer in a ComputerNetwork.") | Merge.kif 6116-6120 | |
(documentation abstractCounterpart JapaneseLanguage "(abstractCounterpart ?AB ?PHYS) は、 Physical エンティティの一部の次元で理想的なモデルである Abstract エンティティに Physical エンティティを関連付ける。 例:Abstract GraphNode は ComputerNetwork 内の実際の Computer の対応であると述べることができる。") | japanese_format.kif 1061-1064 | |
(domain abstractCounterpart 1 Abstract) | Merge.kif 6112-6112 | Il numero 1 argomenti di abstractCounterpart è un istanza di Astratto |
(domain abstractCounterpart 2 Physical) | Merge.kif 6113-6113 | Il numero 2 argomenti di abstractCounterpart è un istanza di Entit�Concreta |
(instance abstractCounterpart BinaryPredicate) | Merge.kif 6111-6111 | abstractCounterpart è un' istanza di PredicatoBinario |
(subrelation abstractCounterpart represents) | Merge.kif 6114-6114 | abstractCounterpart è una sottorelazione di represents |
appearance as argument number 2 |
(format ChineseLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ") | domainEnglishFormat.kif 2654-2654 | |
(format ChineseTraditionalLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ") | domainEnglishFormat.kif 2653-2653 | |
(format EnglishLanguage abstractCounterpart "the abstract counterpart of %2 is %1") | domainEnglishFormat.kif 2652-2652 | |
(termFormat EnglishLanguage abstractCounterpart "abstract counterpart") | domainEnglishFormat.kif 65767-65767 |
antecedent |
consequent |