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
DocumentFn
の数値 1 引数は
命題
の
instance
では %n
(
instance
DocumentFn
UnaryFunction
)
Geography.kif 3011-3011
DocumentFn
は
1変数関数
の
instance
では %n
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 3013-3013
DocumentFn
が返す値は
テキスト
の
subclasses
では %n
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
では %n
命題
は
DocumentFn
命題
の
instance
では %n
ContentBearingPhysical
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
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