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
AttrFn
Sigma KEE - AttrFn
AttrFn
appearance as argument number 1
(
documentation
AttrFn
EnglishLanguage
"For given class and for given attribute, return a subclass of the class of the argument having the attribute")
Merge.kif 1770-1771
(
documentation
AttrFn
JapaneseLanguage
"指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。")
japanese_format.kif 326-327
(
domain
AttrFn
2
Attribute
)
Merge.kif 1777-1777
Attr
的 2 数量 是
属性
的
instance
(
domainSubclass
AttrFn
1
Object
)
Merge.kif 1776-1776
Attr
的 1 数量 是
客体
的
subclass
(
instance
AttrFn
BinaryFunction
)
Merge.kif 1773-1773
Attr
是
二元函数
的
instance
(
instance
AttrFn
PartialValuedRelation
)
Merge.kif 1774-1774
Attr
是
部分值关系
的
instance
(
rangeSubclass
AttrFn
Object
)
Merge.kif 1775-1775
Attr
的所得值 是
客体
的
subclass
appearance as argument number 2
(
format
ChineseLanguage
AttrFn
"%1 跟 %2 的 attr")
domainEnglishFormat.kif 220-220
(
format
ChineseTraditionalLanguage
AttrFn
"%1 跟 %2 的 attr")
domainEnglishFormat.kif 219-219
(
format
EnglishLanguage
AttrFn
"the attr of %1 and %2")
domainEnglishFormat.kif 218-218
(
termFormat
ChineseLanguage
AttrFn
"attr")
domainEnglishFormat.kif 9015-9015
(
termFormat
ChineseTraditionalLanguage
AttrFn
"attr")
domainEnglishFormat.kif 9014-9014
(
termFormat
EnglishLanguage
AttrFn
"attr")
domainEnglishFormat.kif 9013-9013
antecedent
(=>
(
and
(
equal
?X
(
AttrFn
?CLASS ?ATTR))
(
instance
?I ?X))
(
and
(
instance
?I ?CLASS)
(
subclass
?X ?CLASS)
(
attribute
?I ?ATTR)))
Merge.kif 1779-1787
如果
有点 客体
equal
另一个 有点 客体
跟
属性
的
attr
和
第三 客体
是
有点 客体
的
instance
,
然后
那个 第三 客体
是
另一个 有点 客体
的
instance
和
那个 有点 客体
是
那个 另外 有点 客体
的
subclass
和
那个 属性
是
那个 第三 客体
的
attribute
(=>
(
and
(
instance
?O
OccupationalRole
)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O)))
(
exists
(?X ?T ?P ?PT)
(
and
(
instance
?X
CognitiveAgent
)
(
holdsDuring
?T
(
attribute
?X ?O))
(
instance
?P ?PCLASS)
(
agent
?X ?P)
(
time
?P ?PT)
(
temporalPart
?PT ?T))))
Mid-level-ontology.kif 22575-22588
如果
属性
是
职业角色
的
instance
和
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
,
然后 有存在
另一个 过程
,
时间位置
,, ,
施事体
, and 和
那个 施事体
T 这样
那个 另外 过程
是
有认知的主事
的
instance
和
那个 属性
是
那个 另外 过程
的
attribute
在
那个 时间位置
holdsDuring
和
那个 施事体
是
有点 过程
的
instance
和
那个 施事体
是
那个 另外 过程
的
agent
和
那个 施事体
在
那个 施事体
T 是 存在 和
那个 施事体
T 时段 是
那个 时间位置
时段 的一
part
(=>
(
and
(
instance
?OCCD
OccupationalDomain
)
(
instance
?X
(
AttrFn
CognitiveAgent
?OCCD)))
(
exists
(?PCLASS)
(
and
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?OCCD))
(
hasPurpose
?X
(
exists
(?P)
(
and
(
instance
?P ?PCLASS)
(
agent
?X ?P)))))))
Mid-level-ontology.kif 22595-22608
如果
属性
是
OccupationalDomain
的
instance
和
物理
是
有认知的主事
跟
那个 属性
的
attr
的
instance
,
然后 有存在
有点 过程
这样
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
和
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
那个 有点 过程
的
instance
和
那个 实体
是
那个 物理
的
agent
(=>
(
instance
?X
(
AttrFn
?CLASS ?ATTR))
(
and
(
instance
?X ?CLASS)
(
attribute
?X ?ATTR)))
Merge.kif 1789-1794
如果
客体
是
另一个 有点 客体
跟
属性
的
attr
的
instance
,
然后
那个 客体
是
另一个 有点 客体
的
instance
和
那个 属性
是
那个 客体
的
attribute
consequent
(<=>
(
instance
?X
DifferentialEquation
)
(
instance
?X
(
AttrFn
Equation
DifferentialAttribute
)))
engineering.kif 154-156
实体
是
微分方程
的
instance
若且唯若
那个 实体
是
方程
跟
微分属性
的
attr
的
instance
(=>
(
and
(
instance
?OCCD
OccupationalDomain
)
(
instance
?X
(
AttrFn
CognitiveAgent
?OCCD)))
(
exists
(?PCLASS)
(
and
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?OCCD))
(
hasPurpose
?X
(
exists
(?P)
(
and
(
instance
?P ?PCLASS)
(
agent
?X ?P)))))))
Mid-level-ontology.kif 22595-22608
如果
属性
是
OccupationalDomain
的
instance
和
物理
是
有认知的主事
跟
那个 属性
的
attr
的
instance
,
然后 有存在
有点 过程
这样
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
和
那个 物理
的 目的 是 有存在
实体
这样
那个 实体
是
那个 有点 过程
的
instance
和
那个 实体
是
那个 物理
的
agent
(=>
(
and
(
instance
?X ?CLASS)
(
attribute
?X ?ATTR))
(
instance
?X
(
AttrFn
?CLASS ?ATTR)))
Merge.kif 1796-1801
如果
客体
是
另一个 有点 客体
的
instance
和
属性
是
那个 客体
的
attribute
,
然后
那个 客体
是
另一个 有点 客体
跟
那个 属性
的
attr
的
instance
(=>
(
instance
?O
OccupationalRole
)
(
exists
(?PCLASS)
(
typicalAction
?PCLASS
(
AttrFn
CognitiveAgent
?O))))
Mid-level-ontology.kif 22569-22573
如果
属性
是
职业角色
的
instance
,
然后 有存在
有点 过程
这样
有点 过程
是
有认知的主事
跟
那个 属性
的
attr
的
typical
action
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