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
Die Zahl 1 Argument von
DocumentFn
ist ein
fall
von
Proposition
%n{nicht}
(
instance
DocumentFn
UnaryFunction
)
Geography.kif 3011-3011
DocumentFn
ist ein
fall
von
UnaryFunction
%n{nicht}
(
rangeSubclass
DocumentFn
Text
)
Geography.kif 3013-3013
Die werte die
DocumentFn
zurueckgibt sind
teilkategorien
von
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 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
Wenn
Proposition
ist ein
fall
von
Proposition
%n{nicht} und
** Proposition
ist ein
fall
von
DocumentFn
** Proposition
%n{nicht},
dann es gibt
ContentBearingPhysical
um
** ContentBearingPhysical
enthaelt Informationen ueber
** ** Proposition
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