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 10441-10442
(domain pathologicSymptom 1 DiseaseOrSyndrome)	Merge.kif 10445-10445	域 pathologicSymptom, 1 and DiseaseOrSyndrome
(domainSubclass pathologicSymptom 2 PathologicProcess)	Merge.kif 10446-10446	域子類 pathologicSymptom, 2 and PathologicProcess
(instance pathologicSymptom BinaryPredicate)	Merge.kif 10440-10440	例 pathologicSymptom and BinaryPredicate
(relatedInternalConcept pathologicSymptom diseaseSymptom)	Medicine.kif 6545-6545	相關的內部概念 pathologicSymptom and 疾病症狀

appearance as argument number 2

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

antecedent

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

Merge.kif 10450-10458

pathologicSymptom DiseaseOrSyndrome and PathologicProcess
entity 增加可能性 attribute entity and DiseaseOrSyndrome and entity 例 entity and PathologicProcess 體驗者 entity and entity

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

KB Term:			Term intersection

English Word: