TreeView Knowledge Base Browser

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

pathologicSymptom maladie ou syndrome and processus pathologique
entit� maladie ou syndrome est un attribut de entit� augmente la probabilit� de entit� entit� est une instance de processus pathologique entit� exp�rimente entit�

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

KB Term:			Term intersection

English Word: