causesSubclass |
appearance as argument number 1 |
(documentation causesSubclass ChineseLanguage "这是 Process 子类别之间的因果关系, (causesSubclass ?PROCESS1 ?PROCESS2) 的意思是 Process ?PROCESS1 的子类别导致 Process ?PROCESS2 的子类别,例如: (causesSubclass Killing Death)。") | chinese_format.kif 2068-2070 | |
(documentation causesSubclass EnglishLanguage "The causation relation between subclasses of Process. (causesSubclass ?PROCESS1 ?PROCESS2) means that the subclass of Process ?PROCESS1 brings about the subclass of Process ?PROCESS2, e.g. (causesSubclass Killing Death).") | Merge.kif 3805-3809 | |
(documentation causesSubclass JapaneseLanguage "Process ?PROCESS のサブクラス間の因果関係。 (causesSubclass ?PROCESS1 ?PROCESS2) とは、Process ?PROCESS1 のサブクラスが Process ?PROCESS2 を持ち込むことを意味する。 例:(causesSubclass Killing Death) など。") | japanese_format.kif 714-716 | |
(domainSubclass causesSubclass 1 Process) | Merge.kif 3802-3802 | 导致子类 的 1 数量 是 过程 的 subclass |
(domainSubclass causesSubclass 2 Process) | Merge.kif 3803-3803 | 导致子类 的 2 数量 是 过程 的 subclass |
(instance causesSubclass AsymmetricRelation) | Merge.kif 3801-3801 | 导致子类 是 非对称关系 的 instance |
(instance causesSubclass BinaryPredicate) | Merge.kif 3800-3800 | 导致子类 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage causesSubclass "%2 %n 是 %1 的 causes 子分类") | domainEnglishFormat.kif 396-396 | |
(format ChineseTraditionalLanguage causesSubclass "%2 %n 是 %1 的 causes 子分類") | domainEnglishFormat.kif 395-395 | |
(format EnglishLanguage causesSubclass "%2 is %n a causes subclass of %1") | domainEnglishFormat.kif 394-394 | |
(relatedInternalConcept causes causesSubclass) | Merge.kif 3781-3781 | 引起 和 导致子类 是 内部相关 |
(termFormat ChineseLanguage causesSubclass "导致子类") | domainEnglishFormat.kif 13512-13512 | |
(termFormat ChineseTraditionalLanguage causesSubclass "導致子類") | domainEnglishFormat.kif 13511-13511 | |
(termFormat EnglishLanguage causesSubclass "causes subclass") | domainEnglishFormat.kif 13510-13510 |
antecedent |
(=> (causesSubclass ?PROC1 ?PROC2) (forall (?INST2) (=> (instance ?INST2 ?PROC2) (exists (?INST1) (and (instance ?INST1 ?PROC1) (causes ?INST1 ?INST2)))))) |
Merge.kif 3811-3819 |
appearance as argument number 0 |
(causesSubclass AcidRainfall Acidification) | Geography.kif 2537-2537 | 酸化 是 酸雨 的 causes 子分类 |
(causesSubclass AirPollution AcidRainfall) | Geography.kif 2536-2536 | 酸雨 是 空气污染 的 causes 子分类 |
(causesSubclass SoilErosion Siltation) | Geography.kif 2950-2950 | 淤积 是 水土流失 的 causes 子分类 |