No TPTP formula. May not be expressible in strict first order.	Geography.kif 3309-3309	Wetlands convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3317-3317	Whaling convention is an instance of agreement
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4539-4539	Account is a subclass of agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 58-58	Financial account is a subclass of agreement
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2996-2996	International agreement is a subclass of agreement
No TPTP formula. May not be expressible in strict first order.	Media.kif 162-162	License agreement is a subclass of agreement
No TPTP formula. May not be expressible in strict first order.	Dining.kif 639-639	Reservation is a subclass of 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