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