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 3003-3004
(domain DocumentFn 1 Proposition)	Geography.kif 3000-3000	The number 1 argument of document is an instance of proposition
(instance DocumentFn UnaryFunction)	Geography.kif 2999-2999	Document is an instance of unary function
(rangeSubclass DocumentFn Text)	Geography.kif 3001-3001	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 20081-20081
(termFormat ChineseTraditionalLanguage DocumentFn "文獻")	domainEnglishFormat.kif 20080-20080
(termFormat EnglishLanguage DocumentFn "document")	domainEnglishFormat.kif 20079-20079

antecedent

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

Geography.kif 3006-3011