subProposition - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - subProposition

subProposition

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2203-2205
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4464-4467
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4461-4461	The number 1 argument of sub proposition is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4462-4462	The number 2 argument of sub proposition is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4457-4457	sub proposition is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4459-4459	sub proposition is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4460-4460	sub proposition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4458-4458	sub proposition is an instance of transitive relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 187-187
No TPTP formula. May not be expressible in strict first order.	english_format.kif 191-191
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17713-17713	sub field is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4478-4478	sub plan is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 188-188
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55760-55760
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55759-55759
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55758-55758

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1118-1138	If a human is a citizen of a nation and universal suffrage law is a sub-proposition of the regional law of the nation, then the regional law of the nation allows the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 761-769	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Government.kif 861-865	If an object is an instance of regional law and a proposition is a sub-proposition of the object, then law is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17535-17564	If a proposition is an instance of argument and a process is an instance of reasoning and the proposition is a sub-proposition of Archeology and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical and a real number such that the other process is an instance of discovering and the physical is an instance of object and the physical is a patient of the other process and the process includes a reference to the other process and the time of existence of the other process happens earlier than the time of existence of the process and the age of the physical is the real number year duration(s) and the real number is greater than 50 and the entity is a surface of another entity and the other entity is an instance of body of water and the physical is below to the entity or the entity is a surface of a third entity and the third entity is an instance of land area and the physical is below to the entity holds during immediately before the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1162-1175	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then there exists a process such that the process is an instance of the voting of the election and the human is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1197-1217	If compulsory suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation, then the regional law of the nation obligates the human to perform task of the type for all an entity, another entity and a third entity if the human is a citizen of the nation and the entity year duration(s) is a suffrage age minimum of the nation and the age of the human is the other entity year duration(s) and the other entity is greater than or equal to the entity and the third entity is an instance of the election of the nation, then there exists a fourth entity such that the fourth entity is an instance of the voting of the third entity and the human is an agent of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1253-1259	If exclusive male suffrage is a sub-proposition of the regional law of a geopolitical area and female is an attribute of an object and the object is a member of the resident of the geopolitical area and an election is an instance of election, then the object is not capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1236-1242	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and the human is capable of doing the voting of the election as a agent, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1244-1251	If exclusive male suffrage is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and an election is an instance of the election of the nation and a process is an instance of the voting of the election and the human is an agent of the process, then male is an attribute of the human
No TPTP formula. May not be expressible in strict first order.	Government.kif 1106-1116	If universal suffrage law is a sub-proposition of the regional law of a nation and a human is a citizen of the nation and a real number year duration(s) is a suffrage age minimum of the nation and the age of the human is another real number year duration(s) and the other real number is greater than or equal to the real number and an election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4469-4476	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.	Government.kif 1177-1195	If compulsory suffrage law is a sub-proposition of the regional law of a geopolitical area, then the regional law of the geopolitical area obligates the geopolitical area to perform task of the type for all an entity, another entity,, , a third entity and a fourth entity if the entity is a citizen of the geopolitical area and the other entity year duration(s) is a suffrage age minimum of the geopolitical area and the age of the entity is the third entity year duration(s) and the third entity is greater than or equal to the other entity and the fourth entity is an instance of the election of the geopolitical area, then there exists a fifth entity such that the fifth entity is an instance of the voting of the fourth entity and the entity is an agent of the fifth entity
No TPTP formula. May not be expressible in strict first order.	Government.kif 1092-1104	If universal suffrage law is a sub-proposition of the regional law of a nation, then for all a human, an election,, , a real number and another real number if the human is a citizen of the nation and the real number year duration(s) is a suffrage age minimum of the nation and the age of the human is the other real number year duration(s) and the other real number is greater than or equal to the real number and the election is an instance of the election of the nation, then the human is capable of doing the voting of the election as a agent

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 725-740	If a proposition agreement revision date a kind of time position for another proposition , then there exists another time position such that the other time position is an instance of a kind of time position and the other proposition is not a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is a sub-proposition of the proposition holds during immediately after the other time position or the other proposition is a sub-proposition of the proposition holds during immediately before the other time position and the other proposition is not a sub-proposition of the proposition holds during immediately after the other time position
No TPTP formula. May not be expressible in strict first order.	Government.kif 1015-1024	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age maximum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age maximum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 943-952	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age minimum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age minimum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15754-15760	If an argument is an instance of argument and a proposition is equal to the premises of argument the argument, then another proposition is a sub-proposition of the proposition if and only if the other proposition is a premise of the argument
No TPTP formula. May not be expressible in strict first order.	Government.kif 903-907	If a geopolitical area is an instance of geopolitical area and democracy is a government type of the geopolitical area, then voter citizenship requirement is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 892-899	If a geopolitical area is an instance of nation and democracy is a government type of the geopolitical area, then there exists a proposition such that the proposition is an instance of suffrage law and the proposition is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Music.kif 916-918	If a lyrical content is equal to the lyrics of a song, then the lyrical content is a sub-proposition of the song
No TPTP formula. May not be expressible in strict first order.	Music.kif 904-906	If a musical composition is equal to the music of a song, then the musical composition is a sub-proposition of the song
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1896-1901	If a proposition is an instance of Application Programmer Interface, then there exists another proposition such that the other proposition is an instance of computer program and the proposition is a sub-proposition of the other proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 640-648	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 650-658	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.	Government.kif 921-926	If a geopolitical area is an instance of nation, then there exists a proposition such that the proposition is an instance of voter age requirement and the proposition is a sub-proposition of the regional law of the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10583-10589	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.	Hotel.kif 2780-2786	If an entity is an instance of travel reservation, then the statement there exists another entity such that the other entity is an instance of flight reservation and the other entity is a sub-proposition of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10923-10928	If a proposition the attribute contract, then for all a formula if the formula is a sub-proposition of the proposition, then the statement the formula has the modal force of legal

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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