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 6116-6120
(
documentation
abstractCounterpart
JapaneseLanguage
"(abstractCounterpart ?AB ?PHYS) は、
Physical
エンティティの一部の次元で理想的なモデルである
Abstract
エンティティに
Physical
エンティティを関連付ける。 例:
Abstract
GraphNode
は
ComputerNetwork
内の実際の
Computer
の対応であると述べることができる。")
japanese_format.kif 1061-1064
(
domain
abstractCounterpart
1
Abstract
)
Merge.kif 6112-6112
Il numero 1 argomenti di
abstractCounterpart
è un
istanza
di
Astratto
(
domain
abstractCounterpart
2
Physical
)
Merge.kif 6113-6113
Il numero 2 argomenti di
abstractCounterpart
è un
istanza
di
Entit�Concreta
(
instance
abstractCounterpart
BinaryPredicate
)
Merge.kif 6111-6111
abstractCounterpart
è un'
istanza
di
PredicatoBinario
(
subrelation
abstractCounterpart
represents
)
Merge.kif 6114-6114
abstractCounterpart
è una
sottorelazione
di
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 65767-65767
antecedent
(=>
(
and
(
connects
?A ?NODE1 ?NODE2)
(
abstractCounterpart
?N1 ?NODE1)
(
abstractCounterpart
?N2 ?NODE2)
(
abstractCounterpart
?ARC ?A))
(
links
?N1 ?N2 ?ARC))
Transportation.kif 2903-2909
Oggetto
connette
Oggetto
e
Oggetto
abstractCounterpart
NodoDelGrafo
and
Oggetto
abstractCounterpart
NodoDelGrafo
and
Oggetto
abstractCounterpart
Oggetto
RC and
Oggetto
Oggetto
RC
lega
s
NodoDelGrafo
e
NodoDelGrafo
(=>
(
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 2839-2852
distanceOnPath
Quantit�Costante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
Regione
and
Transitway
routeEnd
Regione
and
Transitway
abstractCounterpart
CamminoDelGrafo
and
TransitSystem
Grafo
NodoDelGrafo
and
NodoDelGrafo
Grafo
è un
sottografo
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a l'
inizio
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a la
fine
di
CamminoDelGrafo
abstractCounterpart
NodoDelGrafo
and
Regione
abstractCounterpart
NodoDelGrafo
and
Regione
(=>
(
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 6166-6177
graphMeasure
Grafo
and
Unit�DiMisura
ElementoDelGrafo
è un'
istanza
di
NodoDelGrafo
ElementoDelGrafo
è una
parte
di
Grafo
arco del grafo
è una
parte
di
Grafo
arco del grafo
è un'
istanza
di
arco del grafo
abstractCounterpart
ElementoDelGrafo
and
Entit�Concreta
abstractCounterpart
arco del grafo
and
Entit�Concreta
il
valore
di
arco del grafo
è
NumeroReale
la
misura
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(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 2879-2889
PhysicalSystem
è un'
istanza
di
TransitSystem
Entit�Concreta
è un'
istanza
di
Transitway
abstractCounterpart
Grafo
and
PhysicalSystem
systemPart
Entit�Concreta
and
PhysicalSystem
Grafo
A
Grafo
A è un'
istanza
di
arco del grafo
abstractCounterpart
Grafo
A and
Entit�Concreta
Grafo
A è una
parte
di
Grafo
(=>
(
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 2891-2901
PhysicalSystem
è un'
istanza
di
TransitSystem
Entit�Concreta
è un'
istanza
di
TransitwayJunction
abstractCounterpart
Grafo
and
PhysicalSystem
systemPart
Entit�Concreta
and
PhysicalSystem
Grafo
N
Grafo
N è un'
istanza
di
NodoDelGrafo
abstractCounterpart
Grafo
N and
Entit�Concreta
Grafo
N è una
parte
di
Grafo
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 2839-2852
distanceOnPath
Quantit�Costante
and
Transitway
pathInSystem
Transitway
and
TransitSystem
routeStart
Regione
and
Transitway
routeEnd
Regione
and
Transitway
abstractCounterpart
CamminoDelGrafo
and
TransitSystem
Grafo
NodoDelGrafo
and
NodoDelGrafo
Grafo
è un
sottografo
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a l'
inizio
di
CamminoDelGrafo
NodoDelGrafo
is
uguale
a la
fine
di
CamminoDelGrafo
abstractCounterpart
NodoDelGrafo
and
Regione
abstractCounterpart
NodoDelGrafo
and
Regione
(=>
(
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 2879-2889
PhysicalSystem
è un'
istanza
di
TransitSystem
Entit�Concreta
è un'
istanza
di
Transitway
abstractCounterpart
Grafo
and
PhysicalSystem
systemPart
Entit�Concreta
and
PhysicalSystem
Grafo
A
Grafo
A è un'
istanza
di
arco del grafo
abstractCounterpart
Grafo
A and
Entit�Concreta
Grafo
A è una
parte
di
Grafo
(=>
(
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 2891-2901
PhysicalSystem
è un'
istanza
di
TransitSystem
Entit�Concreta
è un'
istanza
di
TransitwayJunction
abstractCounterpart
Grafo
and
PhysicalSystem
systemPart
Entit�Concreta
and
PhysicalSystem
Grafo
N
Grafo
N è un'
istanza
di
NodoDelGrafo
abstractCounterpart
Grafo
N and
Entit�Concreta
Grafo
N è una
parte
di
Grafo
(=>
(
distanceOnPath
?DIST ?PATH)
(
exists
(?GP)
(
and
(
instance
?GP
GraphPath
)
(
abstractCounterpart
?GP ?PATH))))
Transportation.kif 2832-2837
distanceOnPath
Quantit�Costante
and
Transitway
Astratto
Astratto
è un'
istanza
di
CamminoDelGrafo
abstractCounterpart
Astratto
and
Transitway
(=>
(
graphMeasure
?G ?M)
(
forall
(?AC)
(
and
(
graphPart
?AC ?G)
(
exists
(?PC)
(
abstractCounterpart
?AC ?PC)))))
Merge.kif 6158-6164
graphMeasure
Grafo
and
Unit�DiMisura
ElementoDelGrafo
ElementoDelGrafo
è una
parte
di
Grafo
Entit�Concreta
abstractCounterpart
ElementoDelGrafo
and
Entit�Concreta
(=>
(
instance
?TS
TransitSystem
)
(
exists
(?G)
(
and
(
instance
?G
Graph
)
(
abstractCounterpart
?G ?TS))))
Transportation.kif 2872-2877
Entit�Concreta
è un'
istanza
di
TransitSystem
Astratto
Astratto
è un'
istanza
di
Grafo
abstractCounterpart
Astratto
and
Entit�Concreta
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