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
abstractCounterpart
Sigma KEE - abstractCounterpart
abstractCounterpart
appearance as argument number 1
(
documentation
abstractCounterpart
ChineseLanguage
"(abstractCounterpart ?AB ?PHYS) 它一个
Physical
实体和这个
Physical
entity 在某些维度的理想模式的
Abstract
联系,例如:
Abstract
GraphNode
可以表达为
ComputerNetwork
里一个实际
Computer
的对应。")
chinese_format.kif 2382-2384
(
documentation
abstractCounterpart
EnglishLanguage
"(abstractCounterpart ?AB ?PHYS) relates a
Physical
entity to an
Abstract
one which is an idealized model in some dimension of the
Physical
entity. For example, an
Abstract
GraphNode
could be stated to be the counterpart of an actual
Computer
in a
ComputerNetwork
.")
Merge.kif 6115-6119
(
documentation
abstractCounterpart
JapaneseLanguage
"(abstractCounterpart ?AB ?PHYS) は、
Physical
エンティティの一部の次元で理想的なモデルである
Abstract
エンティティに
Physical
エンティティを関連付ける。 例:
Abstract
GraphNode
は
ComputerNetwork
内の実際の
Computer
の対応であると述べることができる。")
japanese_format.kif 1061-1064
(
domain
abstractCounterpart
1
Abstract
)
Merge.kif 6111-6111
abstractCounterpart
的 1 数量 是
抽象体
的
instance
(
domain
abstractCounterpart
2
Physical
)
Merge.kif 6112-6112
abstractCounterpart
的 2 数量 是
物理
的
instance
(
instance
abstractCounterpart
BinaryPredicate
)
Merge.kif 6110-6110
abstractCounterpart
是
二元谓语
的
instance
(
subrelation
abstractCounterpart
represents
)
Merge.kif 6113-6113
abstractCounterpart
是
表示
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
abstractCounterpart
"%2 的 abstract counterpart %n 是 %1 ")
domainEnglishFormat.kif 2654-2654
(
format
ChineseTraditionalLanguage
abstractCounterpart
"%2 的 abstract counterpart %n 是 %1 ")
domainEnglishFormat.kif 2653-2653
(
format
EnglishLanguage
abstractCounterpart
"the abstract counterpart of %2 is %1")
domainEnglishFormat.kif 2652-2652
(
termFormat
EnglishLanguage
abstractCounterpart
"abstract counterpart")
domainEnglishFormat.kif 65765-65765
antecedent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2870-2876
如果
客体
connects
另一个 客体
和
第三 客体
和
那个 另外 客体
的
abstract
counterpart
是
图节点
和
那个 第三 客体
的
abstract
counterpart
是
另一个 图节点
和
那个 客体
的
abstract
counterpart
是
那个 客体
RC ,
然后
那个 客体
RC
links
那个 图节点
和
那个 另外 图节点
(=>
(
and
(
distanceOnPath
?DIST ?PATH)
(
pathInSystem
?PATH ?SYS)
(
routeStart
?START ?PATH)
(
routeEnd
?END ?PATH)
(
abstractCounterpart
?GRAPH ?SYS))
(
exists
(?S ?BN ?EN)
(
and
(
subGraph
?S ?GRAPH)
(
equal
?BN
(
BeginNodeFn
?GRAPH))
(
equal
?EN
(
EndNodeFn
?GRAPH))
(
abstractCounterpart
?BN ?START)
(
abstractCounterpart
?EN ?END))))
Transportation.kif 2806-2819
如果
公交专用道
的
distance
是
恒量
和
运输系统
是
那个 公交专用道
在系统里的
path
和
地区
是
那个 公交专用道
的
start
和
另一个 地区
是
那个 公交专用道
的
end
和
那个 运输系统
的
abstract
counterpart
是
图路径
,
然后 有存在
图
,
图节点
, and 和
另一个 图节点
这样
那个 图
是
那个 图路径
的
subGraph
和
那个 图节点
equal
那个 图路径
的开端 和
那个 另外 图节点
equal
那个 图路径
的末端 和
那个 地区
的
abstract
counterpart
是
那个 图节点
和
那个 另外 地区
的
abstract
counterpart
是
那个 另外 图节点
(=>
(
and
(
graphMeasure
?G ?M)
(
instance
?AN
GraphNode
)
(
graphPart
?AN ?G)
(
graphPart
?AA ?G)
(
instance
?AA
GraphArc
)
(
abstractCounterpart
?AN ?PN)
(
abstractCounterpart
?AA ?PA)
(
arcWeight
?AA ?N))
(
measure
?PA
(
MeasureFn
?N ?M)))
Merge.kif 6165-6176
如果
测量单位
是
unit
在
图
和
图元素
是
图节点
的
instance
和
那个 图元素
是
那个 图
的
part
和
图弧
是
那个 图
的
part
和
那个 图弧
是
图弧
的
instance
和
物理
的
abstract
counterpart
是
那个 图元素
和
另一个 物理
的
abstract
counterpart
是
那个 图弧
和
那个 图弧
的值 是
实数
,
然后
那个 另外 物理
的
measure
是
那个 实数
那个 测量单位
(=>
(
and
(
instance
?TS
TransitSystem
)
(
instance
?T
Transitway
)
(
abstractCounterpart
?G ?TS)
(
systemPart
?T ?TS))
(
exists
(?GA)
(
and
(
instance
?GA
GraphArc
)
(
abstractCounterpart
?GA ?T)
(
graphPart
?GA ?G))))
Transportation.kif 2846-2856
如果
物理系统
是
运输系统
的
instance
和
物理
是
公交专用道
的
instance
和
那个 物理系统
的
abstract
counterpart
是
图
和
那个 物理系统
是
那个 物理
的
system
部分,
然后 有存在
那个 图
A 这样
那个 图
A 是
图弧
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 图
A 和
那个 图
A 是
那个 图
的
part
(=>
(
and
(
instance
?TS
TransitSystem
)
(
instance
?TJ
TransitwayJunction
)
(
abstractCounterpart
?G ?TS)
(
systemPart
?TJ ?TS))
(
exists
(?GN)
(
and
(
instance
?GN
GraphNode
)
(
abstractCounterpart
?GN ?TJ)
(
graphPart
?GN ?G))))
Transportation.kif 2858-2868
如果
物理系统
是
运输系统
的
instance
和
物理
是
临时路口
的
instance
和
那个 物理系统
的
abstract
counterpart
是
图
和
那个 物理系统
是
那个 物理
的
system
部分,
然后 有存在
那个 图
N 这样
那个 图
N 是
图节点
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 图
N 和
那个 图
N 是
那个 图
的
part
consequent
(=>
(
and
(
distanceOnPath
?DIST ?PATH)
(
pathInSystem
?PATH ?SYS)
(
routeStart
?START ?PATH)
(
routeEnd
?END ?PATH)
(
abstractCounterpart
?GRAPH ?SYS))
(
exists
(?S ?BN ?EN)
(
and
(
subGraph
?S ?GRAPH)
(
equal
?BN
(
BeginNodeFn
?GRAPH))
(
equal
?EN
(
EndNodeFn
?GRAPH))
(
abstractCounterpart
?BN ?START)
(
abstractCounterpart
?EN ?END))))
Transportation.kif 2806-2819
如果
公交专用道
的
distance
是
恒量
和
运输系统
是
那个 公交专用道
在系统里的
path
和
地区
是
那个 公交专用道
的
start
和
另一个 地区
是
那个 公交专用道
的
end
和
那个 运输系统
的
abstract
counterpart
是
图路径
,
然后 有存在
图
,
图节点
, and 和
另一个 图节点
这样
那个 图
是
那个 图路径
的
subGraph
和
那个 图节点
equal
那个 图路径
的开端 和
那个 另外 图节点
equal
那个 图路径
的末端 和
那个 地区
的
abstract
counterpart
是
那个 图节点
和
那个 另外 地区
的
abstract
counterpart
是
那个 另外 图节点
(=>
(
and
(
instance
?TS
TransitSystem
)
(
instance
?T
Transitway
)
(
abstractCounterpart
?G ?TS)
(
systemPart
?T ?TS))
(
exists
(?GA)
(
and
(
instance
?GA
GraphArc
)
(
abstractCounterpart
?GA ?T)
(
graphPart
?GA ?G))))
Transportation.kif 2846-2856
如果
物理系统
是
运输系统
的
instance
和
物理
是
公交专用道
的
instance
和
那个 物理系统
的
abstract
counterpart
是
图
和
那个 物理系统
是
那个 物理
的
system
部分,
然后 有存在
那个 图
A 这样
那个 图
A 是
图弧
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 图
A 和
那个 图
A 是
那个 图
的
part
(=>
(
and
(
instance
?TS
TransitSystem
)
(
instance
?TJ
TransitwayJunction
)
(
abstractCounterpart
?G ?TS)
(
systemPart
?TJ ?TS))
(
exists
(?GN)
(
and
(
instance
?GN
GraphNode
)
(
abstractCounterpart
?GN ?TJ)
(
graphPart
?GN ?G))))
Transportation.kif 2858-2868
如果
物理系统
是
运输系统
的
instance
和
物理
是
临时路口
的
instance
和
那个 物理系统
的
abstract
counterpart
是
图
和
那个 物理系统
是
那个 物理
的
system
部分,
然后 有存在
那个 图
N 这样
那个 图
N 是
图节点
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 图
N 和
那个 图
N 是
那个 图
的
part
(=>
(
distanceOnPath
?DIST ?PATH)
(
exists
(?GP)
(
and
(
instance
?GP
GraphPath
)
(
abstractCounterpart
?GP ?PATH))))
Transportation.kif 2799-2804
如果
公交专用道
的
distance
是
恒量
,
然后 有存在
抽象体
这样
那个 抽象体
是
图路径
的
instance
和
那个 公交专用道
的
abstract
counterpart
是
那个 抽象体
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6157-6163
如果
测量单位
是
unit
在
图
,
然后 对所有
图元素
那个 图元素
是
那个 图
的
part
和 有存在
物理
这样
那个 物理
的
abstract
counterpart
是
那个 图元素
(=>
(
instance
?TS
TransitSystem
)
(
exists
(?G)
(
and
(
instance
?G
Graph
)
(
abstractCounterpart
?G ?TS))))
Transportation.kif 2839-2844
如果
物理
是
运输系统
的
instance
,
然后 有存在
抽象体
这样
那个 抽象体
是
图
的
instance
和
那个 物理
的
abstract
counterpart
是
那个 抽象体
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