Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - causesSubclass
causesSubclass

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners