Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
DocumentFn
Sigma KEE - DocumentFn
DocumentFn
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
文献
的 1 数量 是
命题
的
instance
(
instance
DocumentFn
UnaryFunction
)
Geography.kif 3011-3011
文献
是
一元函数
的
instance
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 3013-3013
文献
的所得值 是
文本
的
subclass
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
如果
命题
是
命题
的
instance
和
另一个 命题
是
那个 命题
的
document
的
instance
,
然后 有存在
内容承载物理
这样
那个 内容承载物理
contains
那个 另外 命题
的资料
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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