DocumentFn - Sigma 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 2937-2938
(domain DocumentFn 1 Proposition)	Geography.kif 2934-2934	The number 1 argument of document is an instance of proposition
(instance DocumentFn UnaryFunction)	Geography.kif 2933-2933	Document is an instance of unary function
(rangeSubclass DocumentFn Text)	Geography.kif 2935-2935	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 20061-20061
(termFormat ChineseTraditionalLanguage DocumentFn "文獻")	domainEnglishFormat.kif 20060-20060
(termFormat EnglishLanguage DocumentFn "document")	domainEnglishFormat.kif 20059-20059

antecedent

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

Geography.kif 2940-2945