Term Intersection
: 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
Term 1:
Term 2:
(
subclass
PassengerVehicle
Vehicle
)
Transportation.kif 1742-1742
PassengerVehicle
est une
sous
-classe de
Vehicle
(
subclass
Automobile
PassengerVehicle
)
Transportation.kif 1948-1948
Automobile
est une
sous
-classe de
PassengerVehicle
(
subclass
Bus
PassengerVehicle
)
Transportation.kif 1967-1967
Bus
est une
sous
-classe de
PassengerVehicle
(
subclass
PassengerRailcar
PassengerVehicle
)
Transportation.kif 2123-2123
PassengerRailcar
est une
sous
-classe de
PassengerVehicle
(
subclass
APC
PassengerVehicle
)
MilitaryDevices.kif 1572-1572
APC
est une
sous
-classe de
PassengerVehicle
(
subclass
AAV
PassengerVehicle
)
MilitaryDevices.kif 1648-1648
AAV
est une
sous
-classe de
PassengerVehicle
(
subclass
CH53E
PassengerVehicle
)
MilitaryDevices.kif 1768-1768
CH53E
est une
sous
-classe de
PassengerVehicle
(
subclass
CH46D
PassengerVehicle
)
MilitaryDevices.kif 1829-1829
CH46D
est une
sous
-classe de
PassengerVehicle
(
subclass
LCAC
PassengerVehicle
)
MilitaryDevices.kif 1946-1946
LCAC
est une
sous
-classe de
PassengerVehicle
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