causesSubclass - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__causesSubclass__m,s__ChineseLanguage,'"这是 Process 子类别之间的因果关系， (causesSubclass ?PROCESS1 ?PROCESS2) 的意思是 Process ?PROCESS1 的子类别导致 Process ?PROCESS2 的子类别，例如： (causesSubclass Killing Death)。"')	chinese_format.kif 2068-2070
s__documentation(s__causesSubclass__m,s__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 3632-3636
s__domainSubclass(s__causesSubclass__m,n__1,s__Process)	Merge.kif 3629-3629	The number 1 argument of causes subclass is a subclass of process
s__domainSubclass(s__causesSubclass__m,n__2,s__Process)	Merge.kif 3630-3630	The number 2 argument of causes subclass is a subclass of process
s__instance(s__causesSubclass__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 3628-3628	causes subclass is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__causesSubclass__m,s__BinaryPredicate)	Merge.kif 3627-3627	causes subclass is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__causesSubclass__m,'"%2 %n 是 %1 的 causes 子分类"')	domainEnglishFormat.kif 396-396
s__format(s__ChineseTraditionalLanguage,s__causesSubclass__m,'"%2 %n 是 %1 的 causes 子分類"')	domainEnglishFormat.kif 395-395
s__format(s__EnglishLanguage,s__causesSubclass__m,'"%2 is %n a causes subclass of %1"')	domainEnglishFormat.kif 394-394
s__relatedInternalConcept(s__causes__m,s__causesSubclass__m)	Merge.kif 3608-3608	causes is internally related to causes subclass
s__termFormat(s__ChineseLanguage,s__causesSubclass__m,'"导致子类"')	domainEnglishFormat.kif 13447-13447
s__termFormat(s__ChineseTraditionalLanguage,s__causesSubclass__m,'"導致子類"')	domainEnglishFormat.kif 13446-13446
s__termFormat(s__EnglishLanguage,s__causesSubclass__m,'"causes subclass"')	domainEnglishFormat.kif 13445-13445

antecedent

( ! [V__PROC2,V__PROC1] :
   ((s__instance(V__PROC2,s__SetOrClass) &
       s__subclass(V__PROC2,s__Process) &
       s__instance(V__PROC1,s__SetOrClass) &
       s__subclass(V__PROC1,s__Process))
     =>
     s__causesSubclass(V__PROC1,V__PROC2)
   =>
   ( ! [V__INST2] :
     (s__instance(V__INST2,s__Process) =>
       s__instance(V__INST2,V__PROC2)
     =>
     ( ? [V__INST1] :
       ((s__instance(V__INST1,s__Process) &
           (s__instance(V__INST1,V__PROC1)
           &
           s__causes(V__INST1,V__INST2)))))))
)
)

Merge.kif 3638-3646

appearance as argument number 0

s__causesSubclass(s__AcidRainfall,s__Acidification)	Geography.kif 2478-2478	Acidification is a causes subclass of acid rainfall
s__causesSubclass(s__AirPollution,s__AcidRainfall)	Geography.kif 2477-2477	Acid rainfall is a causes subclass of air pollution
s__causesSubclass(s__SoilErosion,s__Siltation)	Geography.kif 2809-2809	Siltation is a causes subclass of soil erosion