| 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 20086-20086 | |
| (termFormat ChineseTraditionalLanguage DocumentFn "文獻") | domainEnglishFormat.kif 20085-20085 | |
| (termFormat EnglishLanguage DocumentFn "document") | domainEnglishFormat.kif 20084-20084 |
| antecedent |
|
|
| (=> (and (instance ?PROP Proposition) (instance ?TEXT (DocumentFn ?PROP))) (exists (?DOC) (containsInformation ?DOC ?TEXT))) |
Geography.kif 3018-3023 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners