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 10405-10406
(domain pathologicSymptom 1 DiseaseOrSyndrome)	Merge.kif 10409-10409	The number 1 argument of pathologic symptom is an instance of disease or syndrome
(domainSubclass pathologicSymptom 2 PathologicProcess)	Merge.kif 10410-10410	The number 2 argument of pathologic symptom is a subclass of pathologic process
(instance pathologicSymptom BinaryPredicate)	Merge.kif 10404-10404	pathologic symptom is an instance of binary predicate
(relatedInternalConcept pathologicSymptom diseaseSymptom)	Merge.kif 10424-10424	pathologic symptom is internally related to disease symptom

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

If a kind of pathologic process is a symptom of a disease or syndrome,
then there exists an entity such that the disease or syndrome is an attribute of the entity increases likelihood of there exists another entity such that the other entity is an instance of a kind of pathologic process and the entity experiences the other entity

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

KB Term:			Term intersection

English Word: