No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13998-13998	The number 1 argument of party to agreement is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5668-5668	The number 2 argument of patient medical is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16271-16271	The number 2 argument of plaintiff is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 807-807	The number 1 argument of potential customer is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1881-1881	The number 1 argument of potential loss is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2686-2686	The number 1 argument of prefers is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 417-417	The number 3 argument of product price is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 169-169	The number 1 argument of proposition owner is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 334-334	The number 3 argument of published price is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 456-456	The number 3 argument of rental price is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2845-2845	The number 1 argument of says is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22878-22878	The number 2 argument of service provider is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22889-22889	The number 2 argument of service recipient is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2123-2123	The number 2 argument of share holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 278-278	The number 2 argument of signed by is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Music.kif 214-214	The number 2 argument of song artist is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Media.kif 1828-1828	The number 1 argument of states is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2218-2218	The number 2 argument of stock holder is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 399-399	The number 3 argument of unit price is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2765-2765	The number 1 argument of wants is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23224-23224	The number 2 argument of work address is an instance of cognitive agent

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