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

(documentation subProposition ChineseLanguage "(subProposition ?PROP1 ?PROP2) 的意思是 ?PROP1 是一个 Proposition，它是 Proposition ?PROP2 的一个真正部分。换句话说 subProposition 是一堆抽象内容的 properPart 的类似物。")	chinese_format.kif 2203-2205
(documentation subProposition EnglishLanguage "(subProposition ?PROP1 ?PROP2) means that ?PROP1 is a Proposition which is a proper part of the Proposition ?PROP2. In other words, subProposition is the analogue of properPart for chunks of abstract content.")	Merge.kif 4544-4547
(domain subProposition 1 Proposition)	Merge.kif 4541-4541	The number 1 argument of sub proposition is an instance of proposition
(domain subProposition 2 Proposition)	Merge.kif 4542-4542	The number 2 argument of sub proposition is an instance of proposition
(instance subProposition BinaryPredicate)	Merge.kif 4537-4537	sub proposition is an instance of binary predicate
(instance subProposition IrreflexiveRelation)	Merge.kif 4539-4539	sub proposition is an instance of irreflexive relation
(instance subProposition PartialValuedRelation)	Merge.kif 4540-4540	sub proposition is an instance of partial valued relation
(instance subProposition TransitiveRelation)	Merge.kif 4538-4538	sub proposition is an instance of transitive relation

appearance as argument number 2

(format ChineseLanguage subProposition "%1 %n 是 %2 的 subProposition")	chinese_format.kif 187-187
(format EnglishLanguage subProposition "%1 is %n a sub-proposition of %2")	english_format.kif 188-188
(subrelation subField subProposition)	Mid-level-ontology.kif 20638-20638	sub field is a subrelation of sub proposition
(subrelation subPlan subProposition)	Merge.kif 4558-4558	sub plan is a subrelation of sub proposition
(termFormat ChineseLanguage subProposition "子命题")	chinese_format.kif 188-188
(termFormat ChineseLanguage subProposition "次提案")	domainEnglishFormat.kif 55761-55761
(termFormat ChineseTraditionalLanguage subProposition "次提案")	domainEnglishFormat.kif 55760-55760
(termFormat EnglishLanguage subProposition "sub proposition")	domainEnglishFormat.kif 55759-55759

antecedent

(=> (and (citizen ?AGENT ?POLITY) (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY))) (confersRight (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1117-1137	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
(=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (agreementEffectiveDuring ?CONST (WhenFn ?GOV)) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV))	Government.kif 760-768	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
(=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law))	Government.kif 860-864	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
(=> (and (instance ?X Argument) (instance ?R Reasoning) (subProposition ?X Archeology) (realization ?R ?X)) (exists (?D ?S ?O ?T) (and (instance ?D Discovering) (instance ?O Object) (patient ?D ?O) (refers ?R ?D) (earlier (WhenFn ?D) (WhenFn ?R)) (age ?O (MeasureFn ?T YearDuration)) (greaterThan ?T 50) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (or (and (surface ?S ?W) (instance ?W BodyOfWater) (orientation ?O ?S Below)) (and (surface ?S ?L) (instance ?L LandArea) (orientation ?O ?S Below)))))))	Mid-level-ontology.kif 20447-20476	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
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))	Government.kif 1161-1174	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
(=> (and (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY)) (confersObligation (forall (?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?AGENT))	Government.kif 1196-1216	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
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT)))	Government.kif 1252-1258	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
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male))	Government.kif 1235-1241	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
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male))	Government.kif 1243-1250	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
(=> (and (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))	Government.kif 1105-1115	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
(=> (subProposition ?PROP1 ?PROP2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PROP1) (containsInformation ?OBJ2 ?PROP2)) (subsumesContentInstance ?OBJ2 ?OBJ1))))	Merge.kif 4549-4556	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
(=> (subProposition CompulsorySuffrageLaw (RegionalLawFn ?POLITY)) (confersObligation (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (exists (?VOTING) (and (instance ?VOTING (VotingFn ?ELECTION)) (agent ?VOTING ?AGENT))))) (RegionalLawFn ?POLITY) ?POLITY))	Government.kif 1176-1194	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
(=> (subProposition UniversalSuffrageLaw (RegionalLawFn ?POLITY)) (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE) (=> (and (citizen ?AGENT ?POLITY) (suffrageAgeMinimum ?POLITY (MeasureFn ?VOTINGAGE YearDuration)) (age ?AGENT (MeasureFn ?AGE YearDuration)) (greaterThanOrEqualTo ?AGE ?VOTINGAGE) (instance ?ELECTION (ElectionFn ?POLITY))) (capability (VotingFn ?ELECTION) agent ?AGENT))))	Government.kif 1091-1103	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

(=> (agreementRevisionDate ?AGR ?DATE ?CHANGE) (exists (?TIME) (and (instance ?TIME ?DATE) (or (and (holdsDuring (ImmediatePastFn ?TIME) (not (subProposition ?CHANGE ?AGR))) (holdsDuring (ImmediateFutureFn ?TIME) (subProposition ?CHANGE ?AGR))) (and (holdsDuring (ImmediatePastFn ?TIME) (subProposition ?CHANGE ?AGR)) (holdsDuring (ImmediateFutureFn ?TIME) (not (subProposition ?CHANGE ?AGR))))))))	Government.kif 724-739	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
(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMaximum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE))))	Government.kif 1014-1023	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
(=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMinimum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))	Government.kif 942-951	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
(=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION)))	Merge.kif 16602-16608	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
(=> (and (instance ?COUNTRY GeopoliticalArea) (governmentType ?COUNTRY Democracy)) (subProposition VoterCitizenshipRequirement (RegionalLawFn ?COUNTRY)))	Government.kif 902-906	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
(=> (and (instance ?COUNTRY Nation) (governmentType ?COUNTRY Democracy)) (exists (?SUFFRAGE) (and (instance ?SUFFRAGE SuffrageLaw) (subProposition ?SUFFRAGE (RegionalLawFn ?COUNTRY)))))	Government.kif 891-898	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
(=> (equal ?L (LyricalComponentFn ?S)) (subProposition ?L ?S))	Music.kif 917-919	If a lyrical content is equal to the lyrics of a song, then the lyrical content is a sub-proposition of the song
(=> (equal ?M (MusicalComponentFn ?S)) (subProposition ?M ?S))	Music.kif 905-907	If a musical composition is equal to the music of a song, then the musical composition is a sub-proposition of the song
(=> (instance ?API ApplicationProgrammerInterface) (exists (?P) (and (instance ?P ComputerProgram) (subProposition ?API ?P))))	ComputingBrands.kif 1897-1902	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
(=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Obligation))))	Government.kif 639-647	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
(=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission))))	Government.kif 649-657	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
(=> (instance ?COUNTRY Nation) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?COUNTRY)))))	Government.kif 920-925	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
(=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L))))	Mid-level-ontology.kif 13268-13274	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
(=> (instance ?X TravelReservation) (modalAttribute (exists (?FLIGHT) (and (instance ?FLIGHT FlightReservation) (subProposition ?FLIGHT ?X))) Likely))	Hotel.kif 2793-2799	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
(=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal))))	Mid-level-ontology.kif 13608-13613	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