No TPTP formula. May not be expressible in strict first order.	Geography.kif 3309-3309	WetlandsConvention e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3317-3317	WhalingConvention e' uma instancia de Agreement
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4539-4539	Account e' uma sub-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 58-58	FinancialAccount e' uma sub-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2996-2996	InternationalAgreement e' uma sub-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	Media.kif 162-162	LicenseAgreement e' uma sub-classe de Agreement
No TPTP formula. May not be expressible in strict first order.	Dining.kif 639-639	Reservation e' uma sub-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