No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14198-14207	If a proposition the attribute service contract, then there exist a service, an agreement and the propositionUST such that the service is an instance of service and the service expresses the content of the proposition and the agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	If a cognitive agent the attribute loan commitment, then there exist a loan, an agreement and another agreement such that the loan is an instance of loan and the agreement lends the loan and the loan is the borrower of the other agreement and the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent
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 2574-2580	If an agreement the attribute conventional option, then there exist a real number and a time interval such that the time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 39
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2558-2564	If an agreement the attribute conventional option, then there exist a real number and a time interval such that the time interval is an agreement period of the agreement and duration of the time interval is the real number month duration(s) and the real number is less than 9
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.	FinancialOntology.kif 2940-2944	If an agreement the attribute day order, then a time interval is an agreement period of the agreement and duration of the time interval is 1 day duration(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19635-19642	If an entity the attribute chemical equilibrium, then there exist a real number, a time position,, , another real number and a third real number such that if the other real number is a resource for the entity holds during the time position and the third real number is a result of the entity holds during the time position, then the real number is equal to the other real number and the third real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19631-19633	If an entity the attribute chemical equilibrium, then the entity is an instance of chemical process
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.	Mid-level-ontology.kif 14220-14229	If a cognitive agent the attribute treaty, then there exist an agreement and another agreement such that the agreement is a party to agreement of the cognitive agent and the other agreement is a party to agreement of the cognitive agent and the agreement is an instance of nation and the other agreement is an instance of nation and the agreement is not equal to the other agreement
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4425-4430	If an experimenting the attribute A/B test, then there exists a process such that the process is an instance of process and the control in experiment the experimenting is the process

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