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 779-782
(
domain
AssignmentFn
1
Function
)
Merge.kif 775-775
The number 1 argument of
assignment
is an
instance
of
function
(
domain
AssignmentFn
2
Entity
)
Merge.kif 776-776
The number 2 argument of
assignment
is an
instance
of
entity
(
instance
AssignmentFn
Function
)
Merge.kif 773-773
Assignment
is an
instance
of
function
(
instance
AssignmentFn
VariableArityRelation
)
Merge.kif 774-774
Assignment
is an
instance
of
variable arity relation
(
range
AssignmentFn
Entity
)
Merge.kif 777-777
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 8764-8764
(
termFormat
ChineseLanguage
AssignmentFn
"分派函数")
chinese_format.kif 347-347
(
termFormat
ChineseTraditionalLanguage
AssignmentFn
"任務")
domainEnglishFormat.kif 8763-8763
(
termFormat
EnglishLanguage
AssignmentFn
"assignment")
domainEnglishFormat.kif 8762-8762
antecedent
(=>
(
and
(
range
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
instance
?VALUE ?CLASS))
Merge.kif 312-316
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 339-343
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)
(=>
(
exists
(?CLASS)
(
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 3352-3362
If
a function
is an
instance
of
one to one function
,
then for all
an entity
and
another entity
if there exists
a class
such that 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
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 ?CLASS)
(=>
(
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 3395-3405
If
a function
is an
instance
of
associative function
,
then for all
an entity
,
another entity
,, ,
a third 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
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 3415-3425
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