Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
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 756-759
(
domain
AssignmentFn
1
Function
)
Merge.kif 752-752
(
domain
AssignmentFn
2
Entity
)
Merge.kif 753-753
(
instance
AssignmentFn
Function
)
Merge.kif 750-750
(
instance
AssignmentFn
VariableArityRelation
)
Merge.kif 751-751
(
range
AssignmentFn
Entity
)
Merge.kif 754-754
appearance as argument number 2
(
format
ChineseLanguage
AssignmentFn
"%1(%*{2-}[,])")
chinese_format.kif 346-346
(
format
EnglishLanguage
AssignmentFn
"%1(%*{2-}[,])")
english_format.kif 352-352
(
termFormat
ChineseLanguage
AssignmentFn
"任务")
domainEnglishFormat.kif 8771-8771
(
termFormat
ChineseLanguage
AssignmentFn
"分派函数")
chinese_format.kif 347-347
(
termFormat
ChineseTraditionalLanguage
AssignmentFn
"任務")
domainEnglishFormat.kif 8770-8770
(
termFormat
EnglishLanguage
AssignmentFn
"assignment")
domainEnglishFormat.kif 8769-8769
antecedent
(=>
(
and
(
range
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
instance
?VALUE ?CLASS))
Merge.kif 311-315
(=>
(
and
(
rangeSubclass
?FUNCTION ?CLASS)
(
equal
(
AssignmentFn
?FUNCTION @ROW) ?VALUE))
(
subclass
?VALUE ?CLASS))
Merge.kif 338-342
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 3264-3273
(=>
(
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 3306-3316
(=>
(
instance
?FUNCTION
CommutativeFunction
)
(
forall
(?INST1 ?INST2)
(=>
(
and
(
domain
?FUNCTION 1 ?CLASS)
(
instance
?INST1 ?CLASS)
(
instance
?INST2 ?CLASS))
(
equal
(
AssignmentFn
?FUNCTION ?INST1 ?INST2)
(
AssignmentFn
?FUNCTION ?INST2 ?INST1)))))
Merge.kif 3326-3335
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