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

Formal Language: 



KB Term:  Term intersection
English Word: 

  pathologicSymptom

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 10405-10406
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10409-10409 Die Zahl 1 Argument von pathologicSymptom ist ein fall von DiseaseOrSyndrome %n{nicht}
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10410-10410 Die Zahl 2 Argument von pathologicSymptom ist eine teilkategorie von PathologicProcess %n{nicht}
(instance pathologicSymptom BinaryPredicate) Merge.kif 10404-10404 pathologicSymptom ist ein fall von BinaryPredicate %n{nicht}
(relatedInternalConcept pathologicSymptom diseaseSymptom) Merge.kif 10424-10424 pathologicSymptom ist innerlich verwandt mit diseaseSymptom %n{nicht}

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


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

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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