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 | abstractCounterpart 的 1 数量 是 抽象体 的 instance |
(domain abstractCounterpart 2 Physical) | Merge.kif 6113-6113 | abstractCounterpart 的 2 数量 是 物理 的 instance |
(instance abstractCounterpart BinaryPredicate) | Merge.kif 6111-6111 | abstractCounterpart 是 二元谓语 的 instance |
(subrelation abstractCounterpart represents) | Merge.kif 6114-6114 | abstractCounterpart 是 表示 的 subrelation |
appearance as argument number 2 |
(format ChineseLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ") | domainEnglishFormat.kif 2646-2646 | |
(format ChineseTraditionalLanguage abstractCounterpart "%2 的 abstract counterpart %n 是 %1 ") | domainEnglishFormat.kif 2645-2645 | |
(format EnglishLanguage abstractCounterpart "the abstract counterpart of %2 is %1") | domainEnglishFormat.kif 2644-2644 | |
(termFormat EnglishLanguage abstractCounterpart "abstract counterpart") | domainEnglishFormat.kif 65813-65813 |
antecedent |
consequent |