TreeView Knowledge Base Browser

appearance as argument number 1

(instance pathologicSymptom BinaryPredicate)	Merge.kif 10651-10651	pathologic symptom is an instance of binary predicate
(documentation pathologicSymptom EnglishLanguage "A symptom that is a possible manifestation of a particular PathologicProcess.")	Merge.kif 10652-10653	pathologic symptom is an instance of binary predicate
(domain pathologicSymptom 1 DiseaseOrSyndrome)	Merge.kif 10656-10656	The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domainSubclass pathologicSymptom 2 PathologicProcess)	Merge.kif 10657-10657	The number 2 argument of pathologic symptom is a subclass of pathologic process
(relatedInternalConcept pathologicSymptom diseaseSymptom)	Medicine.kif 6593-6593	pathologic symptom is internally related to disease symptom

appearance as argument number 2

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

antecedent

(=>
    (pathologicSymptom ?D ?S)
    (exists (?O)
        (increasesLikelihood
            (attribute ?O ?D)
            (exists (?I)
                (and
                    (instance ?I ?S)
                    (experiencer ?I ?O))))))

Merge.kif 10661-10669

If X is a symptom of Y, then there exists Z such that Y is an attribute of Z increases likelihood of there exists W such that W is an instance of X and Z experiences W

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

KB Term:			Term intersection

English Word: