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
-------------------------


(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 3663-3667
(domainSubclass causesSubclass 1 Process) Merge.kif 3660-3660 The number 1 argument of causes subclass is a subclass of process
(domainSubclass causesSubclass 2 Process) Merge.kif 3661-3661 The number 2 argument of causes subclass is a subclass of process
(instance causesSubclass AsymmetricRelation) Merge.kif 3659-3659 causes subclass is an instance of asymmetric relation
(instance causesSubclass BinaryPredicate) Merge.kif 3658-3658 causes subclass is an instance of binary predicate

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 3639-3639 causes is internally related to causes subclass
(termFormat ChineseLanguage causesSubclass "导致子类") domainEnglishFormat.kif 13447-13447
(termFormat ChineseTraditionalLanguage causesSubclass "導致子類") domainEnglishFormat.kif 13446-13446
(termFormat EnglishLanguage causesSubclass "causes subclass") domainEnglishFormat.kif 13445-13445

antecedent
-------------------------


(=>
    (causesSubclass ?PROC1 ?PROC2)
    (forall (?INST2)
        (=>
            (instance ?INST2 ?PROC2)
            (exists (?INST1)
                (and
                    (instance ?INST1 ?PROC1)
                    (causes ?INST1 ?INST2))))))
Merge.kif 3669-3677

appearance as argument number 0
-------------------------


(causesSubclass AcidRainfall Acidification) Geography.kif 2478-2478 Acidification is a causes subclass of acid rainfall
(causesSubclass AirPollution AcidRainfall) Geography.kif 2477-2477 Acid rainfall is a causes subclass of air pollution
(causesSubclass SoilErosion 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 3.0 is open source software produced by Articulate Software and its partners