TreeView Knowledge Base Browser

appearance as argument number 1

(documentation DocumentFn EnglishLanguage "(DocumentFn ?PROP) denotes a class of Text objects that contain the information ?PROP.")	Geography.kif 3015-3016
(domain DocumentFn 1 Proposition)	Geography.kif 3012-3012	The number 1 argument of document is an instance of proposition
(instance DocumentFn UnaryFunction)	Geography.kif 3011-3011	Document is an instance of unary function
(rangeSubclass DocumentFn Text)	Geography.kif 3013-3013	The values returned by document are subclasses of text

appearance as argument number 2

(format ChineseLanguage DocumentFn "%1 的 document ")	domainEnglishFormat.kif 788-788
(format ChineseTraditionalLanguage DocumentFn "%1 的 document ")	domainEnglishFormat.kif 787-787
(format EnglishLanguage DocumentFn "the document of %1")	domainEnglishFormat.kif 786-786
(termFormat ChineseLanguage DocumentFn "文献")	domainEnglishFormat.kif 20070-20070
(termFormat ChineseTraditionalLanguage DocumentFn "文獻")	domainEnglishFormat.kif 20069-20069
(termFormat EnglishLanguage DocumentFn "document")	domainEnglishFormat.kif 20068-20068

antecedent

(=>
    (and
        (instance ?PROP Proposition)
        (instance ?TEXT
            (DocumentFn ?PROP)))
    (exists (?DOC)
        (containsInformation ?DOC ?TEXT)))

Geography.kif 3018-3023