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
M*
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
The number 1 argument of
abstract counterpart
is an
instance
of
abstract
(
domain
abstractCounterpart
2
Physical
)
Merge.kif 6112-6112
The number 2 argument of
abstract counterpart
is an
instance
of
physical
(
instance
abstractCounterpart
BinaryPredicate
)
Merge.kif 6110-6110
abstract counterpart
is an
instance
of
binary predicate
(
subrelation
abstractCounterpart
represents
)
Merge.kif 6113-6113
abstract counterpart
is a
subrelation
of
represents
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
If
an object
connect
s
another object
and
a third object
and the
abstract
counterpart
of
the other object
is
a graph node
and the
abstract
counterpart
of
the third object
is
another graph node
and the
abstract
counterpart
of
the object
is
the object
RC,
then
the object
RC
link
s
the graph node
and
the other graph node
(=>
(
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
If the
distance
of
a transitway
is
a constant quantity
and
a transit system
is a
path
in system of
the transitway
and
a region
is the
start
of
the transitway
and
another region
is the
end
of
the transitway
and the
abstract
counterpart
of
the transit system
is
a graph path
,
then there exist
a graph
,
a graph node
and
another graph node
such that
the graph
is a
subgraph
of
the graph path
and
the graph node
is
equal
to the
beginning
of
the graph path
and
the other graph node
is
equal
to the
end
of
the graph path
and the
abstract
counterpart
of
the region
is
the graph node
and the
abstract
counterpart
of
the other region
is
the other graph node
(=>
(
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
If
an unit of measure
is the
unit
in
a graph
and
a graph element
is an
instance
of
graph node
and
the graph element
is a
part
of
the graph
and
a graph arc
is a
part
of
the graph
and
the graph arc
is an
instance
of
graph arc
and the
abstract
counterpart
of
a physical
is
the graph element
and the
abstract
counterpart
of
another physical
is
the graph arc
and the
value
of
the graph arc
is
a real number
,
then the
measure
of
the other physical
is
the real number
the unit of measure
(s)
(=>
(
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
If
a physical system
is an
instance
of
transit system
and
a physical
is an
instance
of
transitway
and the
abstract
counterpart
of
the physical system
is
a graph
and
the physical system
is a
system
part of
the physical
,
then there exists
the graph
A such that
the graph
A is an
instance
of
graph arc
and the
abstract
counterpart
of
the physical
is
the graph
A and
the graph
A is a
part
of
the graph
(=>
(
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
If
a physical system
is an
instance
of
transit system
and
a physical
is an
instance
of
transitway junction
and the
abstract
counterpart
of
the physical system
is
a graph
and
the physical system
is a
system
part of
the physical
,
then there exists
the graph
N such that
the graph
N is an
instance
of
graph node
and the
abstract
counterpart
of
the physical
is
the graph
N and
the graph
N is a
part
of
the graph
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
If the
distance
of
a transitway
is
a constant quantity
and
a transit system
is a
path
in system of
the transitway
and
a region
is the
start
of
the transitway
and
another region
is the
end
of
the transitway
and the
abstract
counterpart
of
the transit system
is
a graph path
,
then there exist
a graph
,
a graph node
and
another graph node
such that
the graph
is a
subgraph
of
the graph path
and
the graph node
is
equal
to the
beginning
of
the graph path
and
the other graph node
is
equal
to the
end
of
the graph path
and the
abstract
counterpart
of
the region
is
the graph node
and the
abstract
counterpart
of
the other region
is
the other graph node
(=>
(
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
If
a physical system
is an
instance
of
transit system
and
a physical
is an
instance
of
transitway
and the
abstract
counterpart
of
the physical system
is
a graph
and
the physical system
is a
system
part of
the physical
,
then there exists
the graph
A such that
the graph
A is an
instance
of
graph arc
and the
abstract
counterpart
of
the physical
is
the graph
A and
the graph
A is a
part
of
the graph
(=>
(
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
If
a physical system
is an
instance
of
transit system
and
a physical
is an
instance
of
transitway junction
and the
abstract
counterpart
of
the physical system
is
a graph
and
the physical system
is a
system
part of
the physical
,
then there exists
the graph
N such that
the graph
N is an
instance
of
graph node
and the
abstract
counterpart
of
the physical
is
the graph
N and
the graph
N is a
part
of
the graph
(=>
(
distanceOnPath
?DIST ?PATH)
(
exists
(?GP)
(
and
(
instance
?GP
GraphPath
)
(
abstractCounterpart
?GP ?PATH))))
Transportation.kif 2799-2804
If the
distance
of
a transitway
is
a constant quantity
,
then there exists
an abstract
such that
the abstract
is an
instance
of
graph path
and the
abstract
counterpart
of
the transitway
is
the abstract
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6157-6163
If
an unit of measure
is the
unit
in
a graph
,
then for all
a graph element
the graph element
is a
part
of
the graph
and there exists
a physical
such that the
abstract
counterpart
of
the physical
is
the graph element
(=>
(
instance
?TS
TransitSystem
)
(
exists
(?G)
(
and
(
instance
?G
Graph
)
(
abstractCounterpart
?G ?TS))))
Transportation.kif 2839-2844
If
a physical
is an
instance
of
transit system
,
then there exists
an abstract
such that
the abstract
is an
instance
of
graph
and the
abstract
counterpart
of
the physical
is
the abstract
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