No TPTP formula. May not be expressible in strict first order.	Geography.kif 3309-3309	WetlandsConvention est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3317-3317	WhalingConvention est une instance de Agreement
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4539-4539	Account est une sous-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 58-58	FinancialAccount est une sous-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2996-2996	InternationalAgreement est une sous-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	Media.kif 162-162	LicenseAgreement est une sous-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	Dining.kif 639-639	Reservation est une sous-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5892-5892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5891-5891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5890-5890

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