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	pathologicSymptom の数値 1 引数は病気または症候群の instance では %n
(domainSubclass pathologicSymptom 2 PathologicProcess)	Merge.kif 10410-10410	pathologicSymptom の数値 2 引数は病理学的プロセスのsubclass では %n
(instance pathologicSymptom BinaryPredicate)	Merge.kif 10404-10404	pathologicSymptom は 2進述語の instance では %n
(relatedInternalConcept pathologicSymptom diseaseSymptom)	Merge.kif 10424-10424	pathologicSymptom は diseaseSymptom に internally 関連して %n

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

pathologicSymptom 病気または症候群 and 病理学的プロセス
エンティティー病気または症候群はエンティティーの attribute では %n はエンティティーエンティティーは病理学的プロセスの instance では %n エンティティーがエンティティーを experiences %n{ない} の可能性を increases %n{ない}

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

KB Term:			Term intersection

English Word: