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
Certificate
Text
)
Merge.kif 15633-15633
Certificate
ist eine
teilkategorie
von
Text
(
subclass
VehicleRegistration
Certificate
)
Transportation.kif 3101-3101
VehicleRegistration
ist eine
teilkategorie
von
Certificate
(
subclass
AcademicDegree
Certificate
)
Mid-level-ontology.kif 16510-16510
AcademicDegree
ist eine
teilkategorie
von
Certificate
(
subclass
License
Certificate
)
Mid-level-ontology.kif 16524-16524
License
ist eine
teilkategorie
von
Certificate
(
subclass
Ticket
Certificate
)
Mid-level-ontology.kif 16537-16537
Ticket
ist eine
teilkategorie
von
Certificate
(
subclass
PassCertificate
Certificate
)
Mid-level-ontology.kif 16577-16577
PassCertificate
ist eine
teilkategorie
von
Certificate
(
subclass
Testament
Certificate
)
Mid-level-ontology.kif 16591-16591
Testament
ist eine
teilkategorie
von
Certificate
(
subclass
InsurancePolicy
Certificate
)
Mid-level-ontology.kif 16896-16896
InsurancePolicy
ist eine
teilkategorie
von
Certificate
(
subclass
FinancialInstrument
Certificate
)
Merge.kif 15646-15646
FinancialInstrument
ist eine
teilkategorie
von
Certificate
(
subclass
Patent
Certificate
)
Merge.kif 15659-15659
Patent
ist eine
teilkategorie
von
Certificate
(
subclass
VaccinationCard
Certificate
)
Medicine.kif 3103-3103
VaccinationCard
ist eine
teilkategorie
von
Certificate
(
subclass
BirthCertificate
Certificate
)
Biography.kif 236-236
BirthCertificate
ist eine
teilkategorie
von
Certificate
(
subclass
DeathCertificate
Certificate
)
Biography.kif 266-266
DeathCertificate
ist eine
teilkategorie
von
Certificate
(
subclass
MarriageCertificate
Certificate
)
Biography.kif 298-298
MarriageCertificate
ist eine
teilkategorie
von
Certificate
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