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 15974-15974
Vehicle
は
輸送機
の
subclass
では %n
(
subclass
PassengerVehicle
Vehicle
)
Transportation.kif 1742-1742
PassengerVehicle
は
Vehicle
の
subclass
では %n
(
subclass
CargoVehicle
Vehicle
)
Transportation.kif 1760-1760
CargoVehicle
は
Vehicle
の
subclass
では %n
(
subclass
UnpoweredVehicle
Vehicle
)
Transportation.kif 1783-1783
UnpoweredVehicle
は
Vehicle
の
subclass
では %n
(
subclass
PoweredVehicle
Vehicle
)
Transportation.kif 1793-1793
PoweredVehicle
は
Vehicle
の
subclass
では %n
(
subclass
AgentPoweredVehicle
Vehicle
)
Transportation.kif 1811-1811
AgentPoweredVehicle
は
Vehicle
の
subclass
では %n
(
subclass
MilitaryVehicle
Vehicle
)
Military.kif 131-131
MilitaryVehicle
は
Vehicle
の
subclass
では %n
(
subclass
ArmoredVehicle
Vehicle
)
MilitaryDevices.kif 1596-1596
ArmoredVehicle
は
Vehicle
の
subclass
では %n
(
subclass
LandVehicle
Vehicle
)
Mid-level-ontology.kif 3465-3465
LandVehicle
は
Vehicle
の
subclass
では %n
(
subclass
WaterVehicle
Vehicle
)
Mid-level-ontology.kif 3483-3483
WaterVehicle
は
Vehicle
の
subclass
では %n
(
subclass
Spacecraft
Vehicle
)
Mid-level-ontology.kif 17711-17711
Spacecraft
は
Vehicle
の
subclass
では %n
(
subclass
Aircraft
Vehicle
)
Mid-level-ontology.kif 17817-17817
Aircraft
は
Vehicle
の
subclass
では %n
(
subclass
RecreationalVehicle
Vehicle
)
Mid-level-ontology.kif 25763-25763
RecreationalVehicle
は
Vehicle
の
subclass
では %n
(
subclass
DamagedVehicle
Vehicle
)
Mid-level-ontology.kif 30092-30092
DamagedVehicle
は
Vehicle
の
subclass
では %n
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