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
Vehicle
TransportationDevice
)
Merge.kif 15996-15996
Vehicle
è una
sottoclasse
di
MezzoDiTrasporto
(
subclass
PassengerVehicle
Vehicle
)
Transportation.kif 1742-1742
PassengerVehicle
è una
sottoclasse
di
Vehicle
(
subclass
CargoVehicle
Vehicle
)
Transportation.kif 1760-1760
CargoVehicle
è una
sottoclasse
di
Vehicle
(
subclass
UnpoweredVehicle
Vehicle
)
Transportation.kif 1783-1783
UnpoweredVehicle
è una
sottoclasse
di
Vehicle
(
subclass
PoweredVehicle
Vehicle
)
Transportation.kif 1793-1793
PoweredVehicle
è una
sottoclasse
di
Vehicle
(
subclass
AgentPoweredVehicle
Vehicle
)
Transportation.kif 1811-1811
AgentPoweredVehicle
è una
sottoclasse
di
Vehicle
(
subclass
MilitaryVehicle
Vehicle
)
Military.kif 131-131
MilitaryVehicle
è una
sottoclasse
di
Vehicle
(
subclass
ArmoredVehicle
Vehicle
)
MilitaryDevices.kif 1596-1596
ArmoredVehicle
è una
sottoclasse
di
Vehicle
(
subclass
LandVehicle
Vehicle
)
Mid-level-ontology.kif 3465-3465
LandVehicle
è una
sottoclasse
di
Vehicle
(
subclass
WaterVehicle
Vehicle
)
Mid-level-ontology.kif 3483-3483
WaterVehicle
è una
sottoclasse
di
Vehicle
(
subclass
Spacecraft
Vehicle
)
Mid-level-ontology.kif 17710-17710
Spacecraft
è una
sottoclasse
di
Vehicle
(
subclass
Aircraft
Vehicle
)
Mid-level-ontology.kif 17816-17816
Aircraft
è una
sottoclasse
di
Vehicle
(
subclass
RecreationalVehicle
Vehicle
)
Mid-level-ontology.kif 25751-25751
RecreationalVehicle
è una
sottoclasse
di
Vehicle
(
subclass
DamagedVehicle
Vehicle
)
Mid-level-ontology.kif 30080-30080
DamagedVehicle
è una
sottoclasse
di
Vehicle
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