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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DiseaseOrSyndrome
DiseaseOrSyndrome(病気または症候群)

VerbNet: other_cos-45.4|blur, marvel-31.3|chafe, suffocate-40.7|choke, change_bodily_state-40.8.4|sicken, entity_specific_cos-45.5|deteriorate, entity_specific_cos-45.5|deteriorate, entity_specific_cos-45.5|deteriorate, exist-47.1|languish, entity_specific_cos-45.5|suppurate, other_cos-45.4|blur, marvel-31.3|chafe, suffocate-40.7|choke, marvel-31.3|chafe, other_cos-45.4|blur, exist-47.1|languish, entity_specific_cos-45.5|suppurate, other_cos-45.4|sicken, exist-47.1|languish, other_cos-45.4|sicken, entity_specific_cos-45.5|suppurate, fill-9.8|taint, other_cos-45.4|sicken, exist-47.1|languish,


appearance as argument number 1
-------------------------


(documentation DiseaseOrSyndrome ChineseLanguage "这是一种 BiologicalAttribute，当中它的出现 表示有某些东西正在干扰或改变 Organism 的正常的过程、状态或活动。它的特征通常是主体的一个或多个系统、部分 或 Organ 功能失常。") Merge.kif 23014-23016
(documentation DiseaseOrSyndrome EnglishLanguage "A BiologicalAttribute which qualifies something that alters or interferes with a normal process, state or activity of an Organism. It is usually characterized by the abnormal functioning of one or more of the host's systems, parts, or Organs.") Merge.kif 23010-23013
(subclass DiseaseOrSyndrome BiologicalAttribute) Merge.kif 23009-23009 病気または症候群 は 生物学的属性 の subclass では %n

appearance as argument number 2
-------------------------


(contraryAttribute Healthy DiseaseOrSyndrome) Mid-level-ontology.kif 28431-28431 Healthy は 病気または症候群 の disjoint では %n
(instance Cancer DiseaseOrSyndrome) Mid-level-ontology.kif 6111-6111 Cancer は 病気または症候群 の instance では %n
(instance Diarrhea DiseaseOrSyndrome) Mid-level-ontology.kif 6018-6018 Diarrhea は 病気または症候群 の instance では %n
(instance Emphysema DiseaseOrSyndrome) Mid-level-ontology.kif 6023-6023 Emphysema は 病気または症候群 の instance では %n
(instance Fever DiseaseOrSyndrome) Mid-level-ontology.kif 6036-6036 Fever は 病気または症候群 の instance では %n
(instance Gastroenteritis DiseaseOrSyndrome) WMD.kif 1001-1001 Gastroenteritis は 病気または症候群 の instance では %n
(instance Goiter DiseaseOrSyndrome) Mid-level-ontology.kif 6051-6051 Goiter は 病気または症候群 の instance では %n
(instance HivAids DiseaseOrSyndrome) People.kif 478-478 HivAids は 病気または症候群 の instance では %n
(instance Paralysis DiseaseOrSyndrome) WMD.kif 1015-1015 Paralysis は 病気または症候群 の instance では %n
(subclass AcquiredImmunoDeficiencySyndrome DiseaseOrSyndrome) WMD.kif 1243-1243 AcquiredImmunoDeficiencySyndrome は 病気または症候群 の subclass では %n
(subclass Disability DiseaseOrSyndrome) Mid-level-ontology.kif 17529-17529 Disability は 病気または症候群 の subclass では %n
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5981-5981 InfectiousDisease は 病気または症候群 の subclass では %n
(subclass LifeThreateningDisease DiseaseOrSyndrome) WMD.kif 969-969 LifeThreateningDisease は 病気または症候群 の subclass では %n
(subclass NonspecificDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5963-5963 NonspecificDisease は 病気または症候群 の subclass では %n
(subclass PsychologicalDysfunction DiseaseOrSyndrome) Merge.kif 23116-23116 心理的機能障害 は 病気または症候群 の subclass では %n
(subclass TyphoidFever DiseaseOrSyndrome) WMD.kif 1258-1258 TyphoidFever は 病気または症候群 の subclass では %n
(termFormat ChineseLanguage DiseaseOrSyndrome "疾病或综合症") chinese_format.kif 1261-1261 termFormat ChineseLanguage, 病気または症候群 and "疾病或综合症"
(termFormat EnglishLanguage DiseaseOrSyndrome "disease or syndrome") english_format.kif 2496-2496 termFormat EnglishLanguage, 病気または症候群 and "disease or syndrome"
(termFormat JapaneseLanguage DiseaseOrSyndrome "病気または症候群") english_format.kif 2497-2497 termFormat JapaneseLanguage, 病気または症候群 and "病気または症候群"

appearance as argument number 3
-------------------------


(domain biochemicalAgentSyndrome 2 DiseaseOrSyndrome) WMD.kif 756-756 biochemicalAgentSyndrome の数値 2 引数は 病気または症候群 の instance では %n
(domain diseaseIncubation 1 DiseaseOrSyndrome) WMD.kif 1410-1410 diseaseIncubation の数値 1 引数は 病気または症候群 の instance では %n
(domain diseaseMortality 1 DiseaseOrSyndrome) WMD.kif 839-839 diseaseMortality の数値 1 引数は 病気または症候群 の instance では %n
(domain diseaseSymptom 1 DiseaseOrSyndrome) WMD.kif 825-825 diseaseSymptom の数値 1 引数は 病気または症候群 の instance では %n
(domain diseaseSymptom 2 DiseaseOrSyndrome) WMD.kif 826-826 diseaseSymptom の数値 2 引数は 病気または症候群 の instance では %n
(domain diseaseTreatment 1 DiseaseOrSyndrome) WMD.kif 881-881 diseaseTreatment の数値 1 引数は 病気または症候群 の instance では %n
(domain sideEffect 2 DiseaseOrSyndrome) WMD.kif 1420-1420 sideEffect の数値 2 引数は 病気または症候群 の instance では %n

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


(=>
    (and
        (instance ?ANI Animal)
        (instance ?D DiseaseOrSyndrome)
        (not
            (attribute ?ANI ?D)))
    (exists (?P ?W)
        (and
            (instance ?P BiologicalProcess)
            (instance ?P Removing)
            (origin ?P ?ANI)
            (instance ?W Sewage)
            (agent ?P ?ANI)
            (patient ?P ?W))))		 Mid-level-ontology.kif 2621-2634

consequent
-------------------------


(=>
    (and
        (instance ?PATH PathologicProcess)
        (experiencer ?PATH ?ORG))
    (exists (?PART ?DISEASE)
        (and
            (part ?PART ?ORG)
            (instance ?DISEASE DiseaseOrSyndrome)
            (attribute ?PART ?DISEASE))))		 Merge.kif 14353-14361
(=>
    (and
        (instance ?R RecoveringFromIllness)
        (experiencer ?R ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?T))
                (attribute ?A ?D))
            (holdsDuring
                (EndFn
                    (WhenFn ?T))
                (not
                    (attribute ?A ?D))))))		 Mid-level-ontology.kif 6072-6084
(=>
    (and
        (instance ?T TakingIll)
        (experiencer ?T ?A))
    (exists (?D)
        (and
            (instance ?D DiseaseOrSyndrome)
            (holdsDuring
                (BeginFn
                    (WhenFn ?T))
                (not
                    (attribute ?A ?D)))
            (holdsDuring
                (EndFn
                    (WhenFn ?T))
                (attribute ?A ?D)))))		 Mid-level-ontology.kif 6000-6012
(=>
    (instance ?A Ambulance)
    (hasPurpose ?A
        (exists (?P ?T)
            (and
                (instance ?P Human)
                (or
                    (attribute ?P DiseaseOrSyndrome)
                    (exists (?I)
                        (and
                            (instance ?I Injuring)
                            (experiencer ?I ?H)
                            (before ?I ?T))))
                (instance ?T Transportation)
                (instrument ?T ?A)
                (patient ?T ?H)))))		 Transportation.kif 1870-1885


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