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
Le nombre 1 argument de
abstractCounterpart
est une
instance
de
abstrait
(
domain
abstractCounterpart
2
Physical
)
Merge.kif 6112-6112
Le nombre 2 argument de
abstractCounterpart
est une
instance
de
physique
(
instance
abstractCounterpart
BinaryPredicate
)
Merge.kif 6110-6110
abstractCounterpart
est une
instance
de
pr�dicat binaire
(
subrelation
abstractCounterpart
represents
)
Merge.kif 6113-6113
abstractCounterpart
est une
sous
-relation de
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
Objet
relie
objet
et
objet
abstractCounterpart
noeud du graph
and
objet
abstractCounterpart
noeud du graph
and
objet
abstractCounterpart
objet
RC and
objet
objet
RC
lie
noeud du graph
et
noeud du graph
(=>
(
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
distanceOnPath
quantit� constante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
r�gion
and
Transitway
routeEnd
r�gion
and
Transitway
abstractCounterpart
chemin du graph
and
TransitSystem
graph
noeud du graph
and
noeud du graph
graph
est un
sous
-graph de
chemin du graph
noeud du graph
est
commencement
de
chemin du graph
noeud du graph
est
fin
de
chemin du graph
abstractCounterpart
noeud du graph
and
r�gion
abstractCounterpart
noeud du graph
and
r�gion
(=>
(
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
graphMeasure
graph
and
unit� de mesure
�lement du graph
est une
instance
de
noeud du graph
�lement du graph
est une
partie
de
graph
arc du graph
est une
partie
de
graph
arc du graph
est une
instance
de
arc du graph
abstractCounterpart
�lement du graph
and
physique
abstractCounterpart
arc du graph
and
physique
la
valeur
de
arc du graph
est
nombre r�el
la
mesure
de
physique
est
nombre r�el
unit� de mesure
(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
PhysicalSystem
est une
instance
de
TransitSystem
physique
est une
instance
de
Transitway
abstractCounterpart
graph
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
graph
A
graph
A est une
instance
de
arc du graph
abstractCounterpart
graph
A and
physique
graph
A est une
partie
de
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
PhysicalSystem
est une
instance
de
TransitSystem
physique
est une
instance
de
TransitwayJunction
abstractCounterpart
graph
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
graph
N
graph
N est une
instance
de
noeud du graph
abstractCounterpart
graph
N and
physique
graph
N est une
partie
de
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
distanceOnPath
quantit� constante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
r�gion
and
Transitway
routeEnd
r�gion
and
Transitway
abstractCounterpart
chemin du graph
and
TransitSystem
graph
noeud du graph
and
noeud du graph
graph
est un
sous
-graph de
chemin du graph
noeud du graph
est
commencement
de
chemin du graph
noeud du graph
est
fin
de
chemin du graph
abstractCounterpart
noeud du graph
and
r�gion
abstractCounterpart
noeud du graph
and
r�gion
(=>
(
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
PhysicalSystem
est une
instance
de
TransitSystem
physique
est une
instance
de
Transitway
abstractCounterpart
graph
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
graph
A
graph
A est une
instance
de
arc du graph
abstractCounterpart
graph
A and
physique
graph
A est une
partie
de
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
PhysicalSystem
est une
instance
de
TransitSystem
physique
est une
instance
de
TransitwayJunction
abstractCounterpart
graph
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
graph
N
graph
N est une
instance
de
noeud du graph
abstractCounterpart
graph
N and
physique
graph
N est une
partie
de
graph
(=>
(
distanceOnPath
?DIST ?PATH)
(
exists
(?GP)
(
and
(
instance
?GP
GraphPath
)
(
abstractCounterpart
?GP ?PATH))))
Transportation.kif 2799-2804
distanceOnPath
quantit� constante
and
Transitway
abstrait
abstrait
est une
instance
de
chemin du graph
abstractCounterpart
abstrait
and
Transitway
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6157-6163
graphMeasure
graph
and
unit� de mesure
�lement du graph
�lement du graph
est une
partie
de
graph
physique
abstractCounterpart
�lement du graph
and
physique
(=>
(
instance
?TS
TransitSystem
)
(
exists
(?G)
(
and
(
instance
?G
Graph
)
(
abstractCounterpart
?G ?TS))))
Transportation.kif 2839-2844
Physique
est une
instance
de
TransitSystem
abstrait
abstrait
est une
instance
de
graph
abstractCounterpart
abstrait
and
physique
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