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 4668-4671
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 867-869
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4665-4665	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 4666-4666	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 4661-4661	sub proposition is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4663-4663	sub proposition is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4664-4664	sub proposition is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4662-4662	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 188-188
No TPTP formula. May not be expressible in strict first order.	french_format.kif 113-113
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 278-278
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1942-1942
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 238-238
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 315-315
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 132-132
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 118-118
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 470-470
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4682-4682	sub plan is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 188-188	sub plan is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55786-55786	sub plan is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55785-55785	sub plan is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55784-55784	sub plan is a subrelation of sub proposition
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 75-75	sub plan is a subrelation of sub proposition

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 1094-1114	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 736-745	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and equal a government and the government of the geopolitical area and the time of existence of the government is an instance of a kind of time position and a kind of time position 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 837-841	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 22764-22794	If a proposition is an instance of argument and a process is an instance of reasoning and another proposition is an instance of archeology and the proposition is a sub-proposition of the other proposition and the process expresses the content of the proposition, then there exist another process, an entity,, , a physical,, , a real number,, , another entity and a third entity 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 the other 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 the 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 1138-1151	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 1173-1193	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 1229-1235	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 1212-1218	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 1220-1227	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 1082-1092	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 4673-4680	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 1153-1171	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 1068-1080	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 701-716	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 991-1000	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 919-928	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 17059-17065	If an argument is an instance of argument and equal a formula and the premises of argument the argument, then a proposition is a sub-proposition of the formula if and only if the proposition is a premise of the argument
No TPTP formula. May not be expressible in strict first order.	Government.kif 879-883	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 868-875	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 922-924	If equal a lyrical content and 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 910-912	If equal a musical composition and 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 1929-1934	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 617-625	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 627-635	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 897-902	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 15173-15179	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 2835-2841	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 15513-15518	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