Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass Certificate Text) Merge.kif 15655-15655 子類 Certificate and Text
(subclass VehicleRegistration Certificate) Transportation.kif 3101-3101 子類 車輛登記 and Certificate
(subclass AcademicDegree Certificate) Mid-level-ontology.kif 16509-16509 子類 學位 and Certificate
(subclass License Certificate) Mid-level-ontology.kif 16523-16523 子類 執照 and Certificate
(subclass Ticket Certificate) Mid-level-ontology.kif 16536-16536 子類 票 and Certificate
(subclass PassCertificate Certificate) Mid-level-ontology.kif 16576-16576 子類 通過證書 and Certificate
(subclass Testament Certificate) Mid-level-ontology.kif 16590-16590 子類 遺囑 and Certificate
(subclass InsurancePolicy Certificate) Mid-level-ontology.kif 16895-16895 子類 保險政策 and Certificate
(subclass FinancialInstrument Certificate) Merge.kif 15668-15668 子類 金融工具 and Certificate
(subclass Patent Certificate) Merge.kif 15681-15681 子類 Patent and Certificate
(subclass VaccinationCard Certificate) Medicine.kif 3103-3103 子類 VaccinationCard and Certificate
(subclass BirthCertificate Certificate) Biography.kif 236-236 子類 出生證明 and Certificate
(subclass DeathCertificate Certificate) Biography.kif 266-266 子類 DeathCertificate and Certificate
(subclass MarriageCertificate Certificate) Biography.kif 298-298 子類 MarriageCertificate and 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