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
systemPart
Sigma KEE - systemPart
systemPart
appearance as argument number 1
(
documentation
systemPart
ChineseLanguage
"(
systemPart
?PART ?SYSTEM)的意思是
Physical
物体 ?PART 是
PhysicalSystem
?SYSTEM 的一个 SystemElement。")
chinese_format.kif 2389-2390
(
documentation
systemPart
EnglishLanguage
"(
systemPart
?PART ?SYSTEM) means that the
Physical
thing ?PART is a SystemElement in the
PhysicalSystem
?SYSTEM.")
Merge.kif 6139-6141
(
documentation
systemPart
JapaneseLanguage
"(
systemPart
?PART ?SYSTEM) とは、
Physical
事 ?PARTが
PhysicalSystem
の SystemElement であることを意味する。")
japanese_format.kif 1069-1070
(
domain
systemPart
1
Physical
)
Merge.kif 6136-6136
Le nombre 1 argument de
systemPart
est une
instance
de
physique
(
domain
systemPart
2
PhysicalSystem
)
Merge.kif 6137-6137
Le nombre 2 argument de
systemPart
est une
instance
de
PhysicalSystem
(
instance
systemPart
BinaryPredicate
)
Merge.kif 6135-6135
systemPart
est une
instance
de
pr�dicat binaire
appearance as argument number 2
(
format
ChineseLanguage
systemPart
"%2 %n 是 %1 的 system 部分")
domainEnglishFormat.kif 2435-2435
(
format
ChineseTraditionalLanguage
systemPart
"%2 %n 是 %1 的 system 部分")
domainEnglishFormat.kif 2434-2434
(
format
EnglishLanguage
systemPart
"%2 is %n a system part of %1")
domainEnglishFormat.kif 2433-2433
(
termFormat
ChineseLanguage
systemPart
"系统部分")
domainEnglishFormat.kif 56673-56673
(
termFormat
ChineseTraditionalLanguage
systemPart
"系統部分")
domainEnglishFormat.kif 56672-56672
(
termFormat
EnglishLanguage
systemPart
"system part")
domainEnglishFormat.kif 56671-56671
antecedent
(=>
(
and
(
instance
?SYSTEM
TransitSystem
)
(
systemPart
?PART ?SYSTEM))
(
instance
?PART
Transitway
))
Transportation.kif 2911-2915
PhysicalSystem
est une
instance
de
TransitSystem
systemPart
physique
and
PhysicalSystem
physique
est une
instance
de
Transitway
(=>
(
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
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 2891-2901
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
(=>
(
and
(
subSystem
?SUB ?SYSTEM)
(
systemPart
?PART ?SUB))
(
systemPart
?PART ?SYSTEM))
Merge.kif 6143-6147
subSystem
PhysicalSystem
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
consequent
(=>
(
and
(
subSystem
?SUB ?SYSTEM)
(
systemPart
?PART ?SUB))
(
systemPart
?PART ?SYSTEM))
Merge.kif 6143-6147
subSystem
PhysicalSystem
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
systemPart
physique
and
PhysicalSystem
(=>
(
routeEnd
?R ?TS)
(
exists
(?T)
(
and
(
instance
?T
Transitway
)
(
connected
?R ?T)
(
systemPart
?T ?TS)
(
not
(
exists
(?T2)
(
and
(
instance
?T2
Transitway
)
(
connected
?R ?T2)
(
systemPart
?T2 ?TS)
(
not
(
equal
?T ?T2))))))))
Transportation.kif 2816-2830
routeEnd
r�gion
and
TransitSystem
objet
objet
est une
instance
de
Transitway
r�gion
est
connect
� �
objet
systemPart
objet
and
TransitSystem
objet
2
objet
2 est une
instance
de
Transitway
r�gion
est
connect
� �
objet
2
systemPart
objet
2 and
TransitSystem
objet
est
objet
2
(=>
(
routeStart
?R ?TS)
(
exists
(?T)
(
and
(
instance
?T
Transitway
)
(
connected
?R ?T)
(
systemPart
?T ?TS)
(
not
(
exists
(?T2)
(
and
(
instance
?T2
Transitway
)
(
connected
?R ?T2)
(
systemPart
?T2 ?TS)
(
not
(
equal
?T ?T2))))))))
Transportation.kif 2793-2807
routeStart
r�gion
and
TransitSystem
objet
objet
est une
instance
de
Transitway
r�gion
est
connect
� �
objet
systemPart
objet
and
TransitSystem
objet
2
objet
2 est une
instance
de
Transitway
r�gion
est
connect
� �
objet
2
systemPart
objet
2 and
TransitSystem
objet
est
objet
2
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