Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
AssignmentFn
Sigma KEE - AssignmentFn
AssignmentFn
appearance as argument number 1
(
documentation
AssignmentFn
ChineseLanguage
"如果F是一个
Function
，它所代表物体的值以 N1，...，NK表示， 那么 (
AssignmentFn
F N1 ... NK) 就是应用F到这些物体以N1,..., NK所代表的值。 在其他情况下，这个值是没有被下定义的。")
chinese_format.kif 1545-1547
(
documentation
AssignmentFn
EnglishLanguage
"If F is a
Function
with a value for the objects denoted by N1,..., NK, then (
AssignmentFn
F N1 ... NK) is the value of applying F to the objects denoted by N1,..., NK. Otherwise, the value is undefined.")
Merge.kif 773-776
(
domain
AssignmentFn
1
Function
)
Merge.kif 769-769
The number 1 argument of
assignment
is an
instance
of
function
(
domain
AssignmentFn
2
Entity
)
Merge.kif 770-770
The number 2 argument of
assignment
is an
instance
of
entity
(
instance
AssignmentFn
Function
)
Merge.kif 767-767
Assignment
is an
instance
of
function
(
instance
AssignmentFn
VariableArityRelation
)
Merge.kif 768-768
Assignment
is an
instance
of
variable arity relation
(
range
AssignmentFn
Entity
)
Merge.kif 771-771
The
range
of
assignment
is an instance of
entity
appearance as argument number 2
(
format
ChineseLanguage
AssignmentFn
"%1(%*{2-}[,])")
chinese_format.kif 346-346
(
format
EnglishLanguage
AssignmentFn
"%1(%*{2-}[,])")
english_format.kif 349-349
(
termFormat
ChineseLanguage
AssignmentFn
"任务")
domainEnglishFormat.kif 8769-8769
(
termFormat
ChineseLanguage
AssignmentFn
"分派函数")
chinese_format.kif 347-347
(
termFormat
ChineseTraditionalLanguage
AssignmentFn
"任務")
domainEnglishFormat.kif 8768-8768
(
termFormat
EnglishLanguage
AssignmentFn
"assignment")
domainEnglishFormat.kif 8767-8767
antecedent
(=>
(
and
(
range
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
instance
?VALUE ?CLASS))
Merge.kif 310-314
If the
range
of
a function
is an instance of
a class
and
the function
(@ROW) is
equal
to
another entity
,
then
the other entity
is an
instance
of
the class
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 337-341
If the values returned by
a function
are
subclasses
of
a kind of class
and
the function
(@ROW) is
equal
to
another class
,
then
the other class
is a
subclass
of
a kind of class
consequent
(=>
(
instance
?FUN
OneToOneFunction
)
(
forall
(?ARG1 ?ARG2)
(=>
(
and
(
domain
?FUN 1 ?CLASS)
(
instance
?ARG1 ?CLASS)
(
instance
?ARG2 ?CLASS)
(
not
(
equal
?ARG1 ?ARG2)))
(
not
(
equal
(
AssignmentFn
?FUN ?ARG1)
(
AssignmentFn
?FUN ?ARG2))))))
Merge.kif 3304-3313
If
a function
is an
instance
of
one to one function
,
then for all
an entity
and
another entity
if the number 1 argument of
the function
is an
instance
of
a class
and
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
and
the entity
is not
equal
to
the other entity
,
then
the function
(
the entity
) is not
equal
to
the function
(
the other entity
)
(=>
(
instance
?FUNCTION
AssociativeFunction
)
(
forall
(?INST1 ?INST2 ?INST3)
(=>
(
and
(
domain
?FUNCTION 1 ?CLASS)
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS)
(
instance
?INST3 ?CLASS))
(
equal
(
AssignmentFn
?FUNCTION ?INST1
(
AssignmentFn
?FUNCTION ?INST2 ?INST3))
(
AssignmentFn
?FUNCTION
(
AssignmentFn
?FUNCTION ?INST1 ?INST2) ?INST3)))))
Merge.kif 3346-3356
If
a function
is an
instance
of
associative function
,
then for all
an entity
,
another entity
and
a third entity
if the number 1 argument of
the function
is an
instance
of
a class
and
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
and
the third entity
is an
instance
of
the class
,
then
the function
(
the entity
and
the function
(
the other entity
and
the third entity
)) is
equal
to
the function
(
the function
(
the entity
and
the other entity
) and
the third entity
)
(=>
(
instance
?FUNCTION
CommutativeFunction
)
(
forall
(?INST1 ?INST2 ?CLASS)
(=>
(
and
(
domain
?FUNCTION 1 ?CLASS)
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS))
(
equal
(
AssignmentFn
?FUNCTION ?INST1 ?INST2)
(
AssignmentFn
?FUNCTION ?INST2 ?INST1)))))
Merge.kif 3366-3376
If
a function
is an
instance
of
commutative function
,
then for all
an entity
,
another entity
and
a class
if the number 1 argument of
the function
is an
instance
of
the class
and
the entity
is an
instance
of
the class
and
the other entity
is an
instance
of
the class
,
then
the function
(
the entity
and
the other entity
) is
equal
to
the function
(
the other entity
and
the entity
)
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
AssignmentFn