No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1097-1102	If an attribute is an instance of computer path attribute, then there exists an entity such that the entity is an instance of computer path and the entity the attribute the attribute
No TPTP formula. May not be expressible in strict first order.	Media.kif 979-984	If a content bearing physical is an instance of contract document, then there exists a proposition such that the content bearing physical contains information the proposition and the proposition the attribute contract
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7142-7144	If an organization is an insured of a proposition, then the proposition the attribute contract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2591-2593	If a cognitive agent holds an agreement, then the agreement the attribute option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2604-2606	If a cognitive agent sells an agreement, then the agreement the attribute option
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2725-2727	If a currency measure is a premium of an agreement, then the agreement the attribute option
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14123-14127	If an entity the attribute promise, then the entity the attribute contract or the entity the attribute naked promise
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2540-2551	If an agreement the attribute option, then there exist an attribute, a time point,, , a financial instrument and a currency measure such that the attribute is equal to call option or the attribute is equal to put option and the agreement the attribute the attribute and the agreement has expiration the time point and the currency measure is a strike price of the agreement and the financial instrument is an underlier of the agreement and the measure of the financial instrument is 100 share unit(s)
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1290-1292	If an entity the attribute replications on same host Ok, then the entity the attribute restartable
No TPTP formula. May not be expressible in strict first order.	Merge.kif 689-694	If an attribute is a subattribute of another attribute, then for all an entity if the entity the attribute the attribute, then the entity the attribute the other attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2745-2747	If a financial instrument is an underlier of an agreement, then the agreement the attribute option

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