| 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 4630-4633 | |
| (documentation subProposition JapaneseLanguage "(subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。") | japanese_format.kif 867-869 | |
| (domain subProposition 1 Proposition) | Merge.kif 4627-4627 | |
| (domain subProposition 2 Proposition) | Merge.kif 4628-4628 | |
| (instance subProposition BinaryPredicate) | Merge.kif 4623-4623 | |
| (instance subProposition IrreflexiveRelation) | Merge.kif 4625-4625 | |
| (instance subProposition PartialValuedRelation) | Merge.kif 4626-4626 | |
| (instance subProposition TransitiveRelation) | Merge.kif 4624-4624 |
| 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 | |
| (format FrenchLanguage subProposition "%1 est %n une sous-proposition de %2") | french_format.kif 113-113 | |
| (format ItalianLanguage subProposition "%1 è una sottoproposizione %2") | relations-it.txt 278-278 | |
| (format JapaneseLanguage subProposition "%1 は %2 の sub-proposition では %n") | japanese_format.kif 1942-1942 | |
| (format PortugueseLanguage subProposition "%1 e' %n uma &sub-proposicao de %2") | portuguese_format.kif 65-65 | |
| (format de subProposition "%1 ist eine teilangelegenheit von %2 %n{nicht}") | relations-de.txt 238-238 | |
| (format hi subProposition "%1 %2 kaa upaprastaava hai") | relations-hindi.txt 315-315 | |
| (format ro subProposition "%1 %n{nu} este o sub-proposition%t{subpropoziþie} a lui %2") | relations-ro.kif 132-132 | |
| (format sv subProposition "%1 är %n{inte} en sub-proposition av %2") | relations-sv.txt 118-118 | |
| (format tg subProposition "%1 ay ang paksa sa pagtatalo mas baba ng %2") | relations-tg.txt 470-470 | |
| (subrelation subPlan subProposition) | Merge.kif 4644-4644 | |
| (termFormat ChineseLanguage subProposition "子命题") | chinese_format.kif 188-188 | |
| (termFormat ChineseLanguage subProposition "次提案") | domainEnglishFormat.kif 55815-55815 | |
| (termFormat ChineseTraditionalLanguage subProposition "次提案") | domainEnglishFormat.kif 55814-55814 | |
| (termFormat EnglishLanguage subProposition "sub proposition") | domainEnglishFormat.kif 55813-55813 | |
| (termFormat de subProposition "teilangelegenheit") | terms-de.txt 75-75 |
| 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 1094-1114 | |
| (=> (and (instance ?CONST (ConstitutionFn ?COUNTRY)) (instance ?COUNTRY Nation) (equal ?GOV (GovernmentFn ?COUNTRY)) (instance (WhenFn ?GOV) ?CLASS) (agreementEffectiveDuring ?CONST ?CLASS) (subProposition ?PART ?CONST) (containsInformation ?FORMULA ?PART)) (holdsObligation ?FORMULA ?GOV)) |
Government.kif 736-745 | |
| (=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law)) |
Government.kif 837-841 | |
| (=> (and (instance ?X Argument) (instance ?R Reasoning) (instance ?A Archeology) (subProposition ?X ?A) (realization ?R ?X)) (exists (?D ?S ?O ?T ?W ?L) (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 22065-22095 | |
| (=> (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 1138-1151 | |
| (=> (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 1173-1193 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1229-1235 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1212-1218 | |
| (=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1220-1227 | |
| (=> (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 1082-1092 | |
| (=> (subProposition ?PROP1 ?PROP2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PROP1) (containsInformation ?OBJ2 ?PROP2)) (subsumesContentInstance ?OBJ2 ?OBJ1)))) |
Merge.kif 4635-4642 | |
| (=> (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 1153-1171 | |
| (=> (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 1068-1080 |
| 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 701-716 | |
| (=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMaximum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE)))) |
Government.kif 991-1000 | |
| (=> (and (instance ?AREA GeopoliticalArea) (suffrageAgeMinimum ?AREA ?AGE)) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?AREA)) (containsInformation (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE)))) |
Government.kif 919-928 | |
| (=> (and (instance ?ARGUMENT Argument) (equal ?PREMISES (PremisesFn ?ARGUMENT))) (<=> (subProposition ?PROPOSITION ?PREMISES) (premise ?ARGUMENT ?PROPOSITION))) |
Merge.kif 16976-16982 | |
| (=> (and (instance ?COUNTRY GeopoliticalArea) (governmentType ?COUNTRY Democracy)) (subProposition VoterCitizenshipRequirement (RegionalLawFn ?COUNTRY))) |
Government.kif 879-883 | |
| (=> (and (instance ?COUNTRY Nation) (governmentType ?COUNTRY Democracy)) (exists (?SUFFRAGE) (and (instance ?SUFFRAGE SuffrageLaw) (subProposition ?SUFFRAGE (RegionalLawFn ?COUNTRY))))) |
Government.kif 868-875 | |
| (=> (equal ?L (LyricalComponentFn ?S)) (subProposition ?L ?S)) |
Music.kif 920-922 | |
| (=> (equal ?M (MusicalComponentFn ?S)) (subProposition ?M ?S)) |
Music.kif 908-910 | |
| (=> (instance ?API ApplicationProgrammerInterface) (exists (?P) (and (instance ?P ComputerProgram) (subProposition ?API ?P)))) |
ComputingBrands.kif 1929-1934 | |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Obligation)))) |
Government.kif 617-625 | |
| (=> (instance ?CONST Constitution) (exists (?FORMULA ?PART) (and (instance ?FORMULA Formula) (containsInformation ?FORMULA ?PART) (instance ?PART Proposition) (subProposition ?PART ?CONST) (modalAttribute ?FORMULA Permission)))) |
Government.kif 627-635 | |
| (=> (instance ?COUNTRY Nation) (exists (?AGERULE) (and (instance ?AGERULE VoterAgeRequirement) (subProposition ?AGERULE (RegionalLawFn ?COUNTRY))))) |
Government.kif 897-902 | |
| (=> (instance ?L LyricalContent) (exists (?W ?I) (and (instance ?W Word) (containsInformation ?W ?I) (subProposition ?I ?L)))) |
Mid-level-ontology.kif 14658-14664 | |
| (=> (instance ?X TravelReservation) (modalAttribute (exists (?FLIGHT) (and (instance ?FLIGHT FlightReservation) (subProposition ?FLIGHT ?X))) Likely)) |
Hotel.kif 2824-2830 | |
| (=> (property ?AGREEMENT Contract) (forall (?X) (=> (subProposition ?X ?AGREEMENT) (modalAttribute ?X Legal)))) |
Mid-level-ontology.kif 14998-15003 |
|
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