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	pathologicSymptom 的 1 数量是疾病或综合症的 instance
(domainSubclass pathologicSymptom 2 PathologicProcess)	Merge.kif 10432-10432	pathologicSymptom 的 2 数量是病理过程的 subclass
(instance pathologicSymptom BinaryPredicate)	Merge.kif 10426-10426	pathologicSymptom 是二元谓语的 instance
(relatedInternalConcept pathologicSymptom diseaseSymptom)	Merge.kif 10446-10446	pathologicSymptom 和疾病症状是内部相关

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 疾病或综合症 and 有点病理过程，
然后有存在实体这样那个疾病或综合症是那个实体的 attribute 增加有存在另一个实体这样那个另外实体是有点病理过程的 instance 和那个实体经历了那个另外实体发生的机率

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

KB Term:			Term intersection

English Word: