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 4668-4671 | |
(documentation subProposition JapaneseLanguage "(subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。") | japanese_format.kif 867-869 | |
(domain subProposition 1 Proposition) | Merge.kif 4665-4665 | 子命题 的 1 数量 是 命题 的 instance |
(domain subProposition 2 Proposition) | Merge.kif 4666-4666 | 子命题 的 2 数量 是 命题 的 instance |
(instance subProposition BinaryPredicate) | Merge.kif 4661-4661 | 子命题 是 二元谓语 的 instance |
(instance subProposition IrreflexiveRelation) | Merge.kif 4663-4663 | 子命题 是 非自反关系 的 instance |
(instance subProposition PartialValuedRelation) | Merge.kif 4664-4664 | 子命题 是 部分值关系 的 instance |
(instance subProposition TransitiveRelation) | Merge.kif 4662-4662 | 子命题 是 传递关系 的 instance |
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 4682-4682 | 子计划 是 子命题 的 subrelation |
(termFormat ChineseLanguage subProposition "子命题") | chinese_format.kif 188-188 | 子计划 是 子命题 的 subrelation |
(termFormat ChineseLanguage subProposition "次提案") | domainEnglishFormat.kif 55786-55786 | 子计划 是 子命题 的 subrelation |
(termFormat ChineseTraditionalLanguage subProposition "次提案") | domainEnglishFormat.kif 55785-55785 | 子计划 是 子命题 的 subrelation |
(termFormat EnglishLanguage subProposition "sub proposition") | domainEnglishFormat.kif 55784-55784 | 子计划 是 子命题 的 subrelation |
(termFormat de subProposition "teilangelegenheit") | terms-de.txt 75-75 | 子计划 是 子命题 的 subrelation |
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 22764-22794 |
|
(=> (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 4673-4680 |
|
(=> (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 |
![]() |
![]() |
![]() |