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 10427-10428
(domain pathologicSymptom 1 DiseaseOrSyndrome) Merge.kif 10431-10431 Le nombre 1 argument de pathologicSymptom est une instance de maladie ou syndrome
(domainSubclass pathologicSymptom 2 PathologicProcess) Merge.kif 10432-10432 Le nombre 2 argument de pathologicSymptom est une sous-classe de processus pathologique
(instance pathologicSymptom BinaryPredicate) Merge.kif 10426-10426 pathologicSymptom est une instance de pr�dicat binaire
(relatedInternalConcept pathologicSymptom diseaseSymptom) Merge.kif 10446-10446 pathologicSymptom est reli� � l'int�rieur de SUMO � diseaseSymptom

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


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

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


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


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