Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| causesSubclass |
| appearance as argument number 1 |
|
| (instance causesSubclass BinaryPredicate) | Merge.kif 3905-3905 | causes subclass is an instance of binary predicate |
| (instance causesSubclass AsymmetricRelation) | Merge.kif 3906-3906 | causes subclass is an instance of asymmetric relation |
| (domainSubclass causesSubclass 1 Process) | Merge.kif 3907-3907 | The number 1 argument of causes subclass is a subclass of process |
| (domainSubclass causesSubclass 2 Process) | Merge.kif 3908-3908 | The number 2 argument of causes subclass is a subclass of process |
| (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 3910-3914 | The number 2 argument of causes subclass is a subclass of process |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept causes causesSubclass) | Merge.kif 3886-3886 | causes is internally related to causes subclass |
| (format EnglishLanguage causesSubclass "%2 is %n a causes subclass of %1") | domainEnglishFormat.kif 394-394 | causes is internally related to causes subclass |
| (format ChineseTraditionalLanguage causesSubclass "%2 %n 是 %1 的 causes 子分類") | domainEnglishFormat.kif 395-395 | causes is internally related to causes subclass |
| (format ChineseLanguage causesSubclass "%2 %n 是 %1 的 causes 子分类") | domainEnglishFormat.kif 396-396 | causes is internally related to causes subclass |
| (termFormat EnglishLanguage causesSubclass "causes subclass") | domainEnglishFormat.kif 13518-13518 | causes is internally related to causes subclass |
| (termFormat ChineseTraditionalLanguage causesSubclass "導致子類") | domainEnglishFormat.kif 13519-13519 | causes is internally related to causes subclass |
| (termFormat ChineseLanguage causesSubclass "导致子类") | domainEnglishFormat.kif 13520-13520 | causes is internally related to causes subclass |
| antecedent |
|
|
| (=> (causesSubclass ?PROC1 ?PROC2) (exists (?INST1 ?INST2) (and (instance ?INST2 ?PROC2) (instance ?INST1 ?PROC1) (causes ?INST1 ?INST2)))) |
Merge.kif 3916-3922 | If X is a causes subclass of Y, then there exist Z, W such that W is an instance of X, Z is an instance of Y, and Z causes W |
| appearance as argument number 0 |
|
|
| (causesSubclass AirPollution AcidRainfall) | Geography.kif 3972-3972 | Acid rainfall is a causes subclass of air pollution |
| (causesSubclass AcidRainfall Acidification) | Geography.kif 3973-3973 | Acidifying is a causes subclass of acid rainfall |
| (causesSubclass SoilErosion Siltation) | Geography.kif 4382-4382 | Siltation is a causes subclass of soil erosion |
|