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

KB Term:  Term intersection
English Word: 

Sigma KEE - TakingIll
TakingIll(taking ill)come_down, contract, get, sicken, take

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


(subclass TakingIll PathologicProcess) Mid-level-ontology.kif 7047-7047 Taking ill is a subclass of pathologic process
(documentation TakingIll EnglishLanguage "Any Process where the experiencer contracts a DiseaseOrSyndrome.") Mid-level-ontology.kif 7048-7049 Taking ill is a subclass of pathologic process

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


(subclass Infecting TakingIll) Mid-level-ontology.kif 6960-6960 Infecting is a subclass of taking ill
(termFormat EnglishLanguage TakingIll "taking ill") domainEnglishFormat.kif 56846-56846 Infecting is a subclass of taking ill
(termFormat ChineseTraditionalLanguage TakingIll "生病了") domainEnglishFormat.kif 56847-56847 Infecting is a subclass of taking ill
(termFormat ChineseLanguage TakingIll "生病了") domainEnglishFormat.kif 56848-56848 Infecting is a subclass of taking ill

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


(=>
    (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 7051-7064 If X is an instance of taking ill and Y experiences X, then there exists Z such that Z is an instance of disease or syndrome, Z is not an attribute of Y holds during the beginning of the time of existence of X, and Z is an attribute of Y holds during the end of the time of existence of X


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners