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 4457-4460
(domain subProposition 1 Proposition) Merge.kif 4454-4454 子命题 的 1 数量 是 命题 的 instance
(domain subProposition 2 Proposition) Merge.kif 4455-4455 子命题 的 2 数量 是 命题 的 instance
(instance subProposition BinaryPredicate) Merge.kif 4450-4450 子命题 是 二元谓语 的 instance
(instance subProposition IrreflexiveRelation) Merge.kif 4452-4452 子命题 是 非自反关系 的 instance
(instance subProposition PartialValuedRelation) Merge.kif 4453-4453 子命题 是 部分值关系 的 instance
(instance subProposition TransitiveRelation) Merge.kif 4451-4451 子命题 是 传递关系 的 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 191-191
(subrelation subField subProposition) Mid-level-ontology.kif 19032-19032 子领域 是 子命题 的 subrelation
(subrelation subPlan subProposition) Merge.kif 4471-4471 子计划 是 子命题 的 subrelation
(termFormat ChineseLanguage subProposition "子命题") chinese_format.kif 188-188
(termFormat ChineseLanguage subProposition "次提案") domainEnglishFormat.kif 55706-55706
(termFormat ChineseTraditionalLanguage subProposition "次提案") domainEnglishFormat.kif 55705-55705
(termFormat EnglishLanguage subProposition "sub proposition") domainEnglishFormat.kif 55704-55704

antecedent
-------------------------


(=>
    (and
        (citizen ?AGENT ?POLITY)
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY)))
    (confersRight
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))		 Government.kif 1096-1114
(=>
    (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 761-769
(=>
    (and
        (instance ?CORPUS RegionalLaw)
        (subProposition ?PART ?CORPUS))
    (attribute ?CORPUS Law))		 Government.kif 861-865
(=>
    (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 ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (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 18870-18899
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (age ?AGENT ?AGE)
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (exists (?VOTING)
        (and
            (instance ?VOTING
                (VotingFn ?ELECTION))
            (agent ?VOTING ?AGENT))))		 Government.kif 1136-1147
(=>
    (and
        (subProposition CompulsorySuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY))
    (confersObligation
        (forall (?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?AGENT))		 Government.kif 1167-1185
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?AREA))
        (attribute ?AGENT Female)
        (member ?AGENT
            (ResidentFn ?AREA))
        (instance ?ELECTION Election))
    (not
        (capability
            (VotingFn ?ELECTION) agent ?AGENT)))		 Government.kif 1221-1227
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (capability
            (VotingFn ?ELECTION) agent ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1204-1210
(=>
    (and
        (subProposition ExclusiveMaleSuffrage
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (instance ?ELECTION
            (ElectionFn ?POLITY))
        (instance ?ACT
            (VotingFn ?ELECTION))
        (agent ?ACT ?AGENT))
    (attribute ?AGENT Male))		 Government.kif 1212-1219
(=>
    (and
        (subProposition UniversalSuffrageLaw
            (RegionalLawFn ?POLITY))
        (citizen ?AGENT ?POLITY)
        (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
        (age ?AGENT ?AGE)
        (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
        (instance ?ELECTION
            (ElectionFn ?POLITY)))
    (capability
        (VotingFn ?ELECTION) agent ?AGENT))		 Government.kif 1086-1094
(=>
    (subProposition ?PROP1 ?PROP2)
    (forall (?OBJ1 ?OBJ2)
        (=>
            (and
                (containsInformation ?OBJ1 ?PROP1)
                (containsInformation ?OBJ2 ?PROP2))
            (subsumesContentInstance ?OBJ2 ?OBJ1))))		 Merge.kif 4462-4469
(=>
    (subProposition CompulsorySuffrageLaw
        (RegionalLawFn ?POLITY))
    (confersObligation
        (forall (?AGENT ?VOTINGAGE ?AGE ?ELECTION)
            (=>
                (and
                    (citizen ?AGENT ?POLITY)
                    (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                    (age ?AGENT ?AGE)
                    (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                    (instance ?ELECTION
                        (ElectionFn ?POLITY)))
                (exists (?VOTING)
                    (and
                        (instance ?VOTING
                            (VotingFn ?ELECTION))
                        (agent ?VOTING ?AGENT)))))
        (RegionalLawFn ?POLITY) ?POLITY))		 Government.kif 1149-1165
(=>
    (subProposition UniversalSuffrageLaw
        (RegionalLawFn ?POLITY))
    (forall (?AGENT ?ELECTION ?VOTINGAGE ?AGE)
        (=>
            (and
                (citizen ?AGENT ?POLITY)
                (suffrageAgeMinimum ?POLITY ?VOTINGAGE)
                (age ?AGENT ?AGE)
                (greaterThanOrEqualTo ?AGE ?VOTINGAGE)
                (instance ?ELECTION
                    (ElectionFn ?POLITY)))
            (capability
                (VotingFn ?ELECTION) agent ?AGENT))))		 Government.kif 1074-1084

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 725-740
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMaximum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMaximum ?AREA ?AGE) ?AGERULE))))		 Government.kif 1007-1016
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (suffrageAgeMinimum ?AREA ?AGE))
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?AREA))
            (containsInformation
                (suffrageAgeMinimum ?AREA ?AGE) ?AGERULE))))		 Government.kif 943-952
(=>
    (and
        (instance ?ARGUMENT Argument)
        (equal ?PREMISES
            (PremisesFn ?ARGUMENT)))
    (<=>
        (subProposition ?PROPOSITION ?PREMISES)
        (premise ?ARGUMENT ?PROPOSITION)))		 Merge.kif 15739-15745
(=>
    (and
        (instance ?COUNTRY GeopoliticalArea)
        (governmentType ?COUNTRY Democracy))
    (subProposition VoterCitizenshipRequirement
        (RegionalLawFn ?COUNTRY)))		 Government.kif 903-907
(=>
    (and
        (instance ?COUNTRY Nation)
        (governmentType ?COUNTRY Democracy))
    (exists (?SUFFRAGE)
        (and
            (instance ?SUFFRAGE SuffrageLaw)
            (subProposition ?SUFFRAGE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 892-899
(=>
    (equal ?L
        (LyricalComponentFn ?S))
    (subProposition ?L ?S))		 Music.kif 916-918
(=>
    (equal ?M
        (MusicalComponentFn ?S))
    (subProposition ?M ?S))		 Music.kif 904-906
(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))		 ComputingBrands.kif 1907-1912
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))		 Government.kif 640-648
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))		 Government.kif 650-658
(=>
    (instance ?COUNTRY Nation)
    (exists (?AGERULE)
        (and
            (instance ?AGERULE VoterAgeRequirement)
            (subProposition ?AGERULE
                (RegionalLawFn ?COUNTRY)))))		 Government.kif 921-926
(=>
    (instance ?L LyricalContent)
    (exists (?W ?I)
        (and
            (instance ?W Word)
            (containsInformation ?W ?I)
            (subProposition ?I ?L))))		 Mid-level-ontology.kif 11434-11440
(=>
    (instance ?X TravelReservation)
    (modalAttribute
        (exists (?FLIGHT)
            (and
                (instance ?FLIGHT FlightReservation)
                (subProposition ?FLIGHT ?X))) Likely))		 Hotel.kif 2766-2772
(=>
    (property ?AGREEMENT Contract)
    (forall (?X)
        (=>
            (subProposition ?X ?AGREEMENT)
            (modalAttribute ?X Legal))))		 Mid-level-ontology.kif 11792-11797


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