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 4640-4643 | |
(documentation subProposition JapaneseLanguage "(subProposition ?PROP1 ?PROP2) とは、 ?PROP1が Proposition で、Proposition ?PROP2 の適切な部分である、という意味である。言い換え れば、subProposition は、大量の抽象的なコンテンツの properPart の類似体である。") | japanese_format.kif 867-869 | |
(domain subProposition 1 Proposition) | Merge.kif 4637-4637 | 子命题 的 1 数量 是 命题 的 instance |
(domain subProposition 2 Proposition) | Merge.kif 4638-4638 | 子命题 的 2 数量 是 命题 的 instance |
(instance subProposition BinaryPredicate) | Merge.kif 4633-4633 | 子命题 是 二元谓语 的 instance |
(instance subProposition IrreflexiveRelation) | Merge.kif 4635-4635 | 子命题 是 非自反关系 的 instance |
(instance subProposition PartialValuedRelation) | Merge.kif 4636-4636 | 子命题 是 部分值关系 的 instance |
(instance subProposition TransitiveRelation) | Merge.kif 4634-4634 | 子命题 是 传递关系 的 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 4654-4654 | 子计划 是 子命题 的 subrelation |
(termFormat ChineseLanguage subProposition "子命题") | chinese_format.kif 188-188 | |
(termFormat ChineseLanguage subProposition "次提案") | domainEnglishFormat.kif 55782-55782 | |
(termFormat ChineseTraditionalLanguage subProposition "次提案") | domainEnglishFormat.kif 55781-55781 | |
(termFormat EnglishLanguage subProposition "sub proposition") | domainEnglishFormat.kif 55780-55780 | |
(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 1132-1152 | |
(=> (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 774-783 | |
(=> (and (instance ?CORPUS RegionalLaw) (subProposition ?PART ?CORPUS)) (attribute ?CORPUS Law)) |
Government.kif 875-879 | |
(=> (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 21146-21176 |
|
(=> (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 1176-1189 | |
(=> (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 1211-1231 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?AREA)) (attribute ?AGENT Female) (member ?AGENT (ResidentFn ?AREA)) (instance ?ELECTION Election)) (not (capability (VotingFn ?ELECTION) agent ?AGENT))) |
Government.kif 1267-1273 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (capability (VotingFn ?ELECTION) agent ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1250-1256 | |
(=> (and (subProposition ExclusiveMaleSuffrage (RegionalLawFn ?POLITY)) (citizen ?AGENT ?POLITY) (instance ?ELECTION (ElectionFn ?POLITY)) (instance ?ACT (VotingFn ?ELECTION)) (agent ?ACT ?AGENT)) (attribute ?AGENT Male)) |
Government.kif 1258-1265 | |
(=> (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 1120-1130 | |
(=> (subProposition ?PROP1 ?PROP2) (forall (?OBJ1 ?OBJ2) (=> (and (containsInformation ?OBJ1 ?PROP1) (containsInformation ?OBJ2 ?PROP2)) (subsumesContentInstance ?OBJ2 ?OBJ1)))) |
Merge.kif 4645-4652 |
|
(=> (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 1191-1209 | |
(=> (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 1106-1118 |
consequent |