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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - pathologicSymptom
pathologicSymptom

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


(documentation pathologicSymptom EnglishLanguage "A symptom that is a possible manifestation of a particular PathologicProcess.") Merge.kif 10441-10442
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10445-10445 The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10446-10446 The number 2 argument of pathologic symptom is a subclass of pathologic process
(instance pathologicSymptom BinaryPredicate) Merge.kif 10440-10440 pathologic symptom is an instance of binary predicate
(relatedInternalConcept pathologicSymptom diseaseSymptom) Medicine.kif 6545-6545 pathologic symptom is internally related to disease symptom

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


(format EnglishLanguage pathologicSymptom "%2 is a symptom of %1") Merge.kif 10444-10444
(termFormat EnglishLanguage pathologicSymptom "pathologic symptom") Merge.kif 10443-10443

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


(=>
    (pathologicSymptom ?D ?S)
    (exists (?O)
        (increasesLikelihood
            (attribute ?O ?D)
            (exists (?I)
                (and
                    (instance ?I ?S)
                    (experiencer ?I ?O))))))
Merge.kif 10450-10458


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