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

Formal Language: 



Term 1: Term 2:

(subclass Certificate Text) Merge.kif 15655-15655 Certificato è una sottoclasse di Testo
(subclass VehicleRegistration Certificate) Transportation.kif 3101-3101 VehicleRegistration è una sottoclasse di Certificato
(subclass AcademicDegree Certificate) Mid-level-ontology.kif 16509-16509 AcademicDegree è una sottoclasse di Certificato
(subclass License Certificate) Mid-level-ontology.kif 16523-16523 License è una sottoclasse di Certificato
(subclass Ticket Certificate) Mid-level-ontology.kif 16536-16536 Ticket è una sottoclasse di Certificato
(subclass PassCertificate Certificate) Mid-level-ontology.kif 16576-16576 PassCertificate è una sottoclasse di Certificato
(subclass Testament Certificate) Mid-level-ontology.kif 16590-16590 Testament è una sottoclasse di Certificato
(subclass InsurancePolicy Certificate) Mid-level-ontology.kif 16895-16895 InsurancePolicy è una sottoclasse di Certificato
(subclass FinancialInstrument Certificate) Merge.kif 15668-15668 FinancialInstrument è una sottoclasse di Certificato
(subclass Patent Certificate) Merge.kif 15681-15681 Brevetto è una sottoclasse di Certificato
(subclass VaccinationCard Certificate) Medicine.kif 3103-3103 VaccinationCard è una sottoclasse di Certificato
(subclass BirthCertificate Certificate) Biography.kif 236-236 BirthCertificate è una sottoclasse di Certificato
(subclass DeathCertificate Certificate) Biography.kif 266-266 DeathCertificate è una sottoclasse di Certificato
(subclass MarriageCertificate Certificate) Biography.kif 298-298 MarriageCertificate è una sottoclasse di Certificato


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