pathologyCandidate - Sigma Knowledge base Browser

appearance as argument number 1

(domain pathologyCandidate 1 Human)	Medicine.kif 1948-1948	pathologyCandidate の数値 1 引数は人［人間］の instance では %n
(domainSubclass pathologyCandidate 2 PathologicProcess)	Medicine.kif 1949-1949	pathologyCandidate の数値 2 引数は病理学的プロセスのsubclass では %n
(instance pathologyCandidate BinaryPredicate)	Medicine.kif 1947-1947	pathologyCandidate は 2進述語の instance では %n

appearance as argument number 2

(format EnglishLanguage pathologyCandidate "%1 may have %2")	Medicine.kif 1952-1952
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1937-1937	diseaseCandidate は pathologyCandidate に internally 関連して %n

antecedent

(=>
    (pathologyCandidate ?H ?D)
    (exists (?DOC ?DI)
        (and
            (instance ?DI ?D)
            (believes ?DOC
                (modalAttribute
                    (experiencer ?D ?H) Possibility)))))

Medicine.kif 1954-1962