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 3819-3823
(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 3816-3816 causesSubclass の数値 1 引数は 工程subclass では
(domainSubclass causesSubclass 2 Process) Merge.kif 3817-3817 causesSubclass の数値 2 引数は 工程subclass では
(instance causesSubclass AsymmetricRelation) Merge.kif 3815-3815 causesSubclass非対称関係instance では
(instance causesSubclass BinaryPredicate) Merge.kif 3814-3814 causesSubclass2進述語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 3795-3795 causescausesSubclassinternally 関連して
(termFormat ChineseLanguage causesSubclass "导致子类") domainEnglishFormat.kif 13521-13521 causescausesSubclassinternally 関連して
(termFormat ChineseTraditionalLanguage causesSubclass "導致子類") domainEnglishFormat.kif 13520-13520 causescausesSubclassinternally 関連して
(termFormat EnglishLanguage causesSubclass "causes subclass") domainEnglishFormat.kif 13519-13519 causescausesSubclassinternally 関連して

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


(=>
    (causesSubclass ?PROC1 ?PROC2)
    (exists (?INST1 ?INST2)
        (and
            (instance ?INST2 ?PROC2)
            (instance ?INST1 ?PROC1)
            (causes ?INST1 ?INST2))))
Merge.kif 3825-3831

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


(causesSubclass AcidRainfall Acidification) Geography.kif 2695-2695 causesSubclass AcidRainfall and Acidification
(causesSubclass AirPollution AcidRainfall) Geography.kif 2694-2694 causesSubclass AirPollution and AcidRainfall
(causesSubclass SoilErosion Siltation) Geography.kif 3108-3108 causesSubclass SoilErosion and Siltation


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