No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2596-2605	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29691-29703	If a process is an instance of correcting, then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4643-4658	If a process is an instance of crossposting, then there exist a proposition, another process,, , a third process,, , an entity and another entity such that the other process is an instance of Posting and the third process is an instance of Posting and the other process contains information the proposition and the other process contains information the proposition and the other process ends up at the entity and the third process ends up at the other entity and the other process is not equal to the third process and the entity is not equal to the other entity and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15967-15981	If a collection is an instance of dramatic cast, then there exist a content bearing physical, a proposition and a process such that the content bearing physical is an instance of fictional text and the content bearing physical contains information the proposition and the process expresses the content of the proposition and for all an agent if the agent is a member of the collection, then there exists another process such that the other process is an instance of dramatic acting and the agent is an agent of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1623-1628	If a proposition is an instance of CONPLAN with TPFDD, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 653-661	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Government.kif 663-671	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13157-13170	If a process is an instance of disagreeing, then there exist an agent, another agent,, , another process,, , a third process,, , a proposition and another proposition such that the other process is a subprocess of the process and the third process is a subprocess of the process and the agent is an agent of the other process and the other agent is an agent of the third process and the agent is not equal to the other agent and the other process contains information the proposition and the third process contains information the other proposition and the other proposition is not a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 688-693	If a content bearing physical is an instance of constitution document, then there exists a proposition such that the proposition is an instance of constitution and the content bearing physical contains information the proposition
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 29659-29667	If a time interval is an instance of elaborating, then there exist another time interval, the time intervalP and the other time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP subsumes the content of the other time intervalP
No TPTP formula. May not be expressible in strict first order.	Media.kif 1534-1540	If a content bearing physical is an instance of software file, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1651-1655	If a content bearing physical is an instance of TPFDD file, then the content bearing physical contains information a proposition and the proposition is an instance of TPFDD
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13802-13808	If a proposition is an instance of lyrical content, then there exist a content bearing physical and another proposition such that the content bearing physical is an instance of word and the content bearing physical contains information the other proposition and the other proposition is a sub-proposition of the proposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1844-1848	If a content bearing physical is an instance of JOPES manual, then the content bearing physical contains information a proposition and the proposition is an instance of JOPES
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16187-16194	If a proposition is an instance of legal opinion, then there exist a process, a content bearing physical and an argument such that the process is an instance of legal decision and the content bearing physical is a result of the process and the content bearing physical contains information the argument and the conclusion of argument the argument is the proposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1802-1807	If a proposition is an instance of OPLAN, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14954-14961	If a physical is an instance of dramatic play, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of dramatic acting and the physical contains information the other entity and the entity expresses the content of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14539-14545	If a content bearing physical is an instance of performance program, then there exist a process and a proposition such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of performance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15921-15927	If a process is an instance of reciting, then there exist a proposition and a content bearing physical such that the process expresses the content of the proposition and the content bearing physical contains information the proposition and the content bearing physical is an instance of text
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29676-29684	If a time interval is an instance of restating, then there exist another time interval, the other time intervalP and the time intervalP such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP is equivalent to the other time intervalP
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12689-12695	If a process is an instance of reading, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of text and the content bearing physical contains information the proposition and the process expresses the content of the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14314-14320	If a content bearing physical is an instance of audio recording, then there exist a proposition and a process such that the content bearing physical contains information the proposition and the process expresses the content of the proposition and the process is an instance of radiating sound
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15447-15452	If a content bearing physical is an instance of sentence, then there exists a proposition such that the proposition is an instance of proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3125-3132	If a process is an instance of signing an agreement, then there exist a content bearing physical and a proposition such that the content bearing physical is an instance of linguistic expression and the proposition is an instance of agreement and the content bearing physical contains information the proposition and the content bearing physical is a patient of the process
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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