No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14413-14418	If a content bearing physical is an instance of sheet music, then there exists a proposition such that the proposition is an instance of musical composition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2754-2763	If a content bearing physical is an instance of test protocol specification, then there exist a proposition, a process and another process such that the proposition is an instance of plan and the process is an instance of experimenting and the other process is an instance of process and the proposition expresses the other process and the process is a subprocess of the other process and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3932-3935	If a content bearing physical is an instance of title, then there exist an entity and another entity such that the content bearing physical contains information the other entity possesses the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4608-4613	If a process expresses the content of a proposition, then there exists a content bearing physical such that the content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Law.kif 504-513	If a content bearing physical is the record of an agreement, then there doesn't exist a proposition such that the proposition is not equal to the agreement and the proposition is not a part of the agreement and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4645-4652	If a proposition is a sub-proposition of another proposition, then for all a content bearing physical and another content bearing physical if the content bearing physical contains information the proposition and the other content bearing physical contains information the other proposition, then the other content bearing physical subsumes the content of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4535-4545	If a kind of content bearing physical subsumes the content of another kind of content bearing physical, then for all a third content bearing physical and a proposition if the third content bearing physical is an instance of another kind of content bearing physical and the third content bearing physical contains information the proposition, then there exists a fourth content bearing physical such that the fourth content bearing physical is an instance of a kind of content bearing physical and the fourth content bearing physical contains information the proposition

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