DocumentFn - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

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

antecedent

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

If X is an instance of proposition and Y is an instance of the document of X, then there exists Z such that Z contains information Y