Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proposition
Proposition

appearance as argument number 1
-------------------------


(documentation Proposition ChineseLanguage "PropositionAbstract 实体, 它表达一个完整 的意思或是一套想法。例如:公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注:命题限于由 Language 的个别句子所表达的内容,这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObjectProposition 实一个信息,例如说猫在地毯上;但是 ContentBearingObject 是一个表达该信息的 ObjectProposition 可以有多个描述的抽象概念:字符串、声音和图标等。例如:猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示,但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。") Merge.kif 3655-3662
(documentation Proposition EnglishLanguage "Propositions are Abstract entities that express a complete thought or a set of such thoughts. As an example, the formula '(instance Yojo Cat)' expresses the Proposition that the entity named Yojo is an element of the Class of Cats. Note that propositions are not restricted to the content expressed by individual sentences of a Language. They may encompass the content expressed by theories, books, and even whole libraries. It is important to distinguish Propositions from the ContentBearingObjects that express them. A Proposition is a piece of information, e.g. that the cat is on the mat, but a ContentBearingObject is an Object that represents this information. A Proposition is an abstraction that may have multiple representations: strings, sounds, icons, etc. For example, the Proposition that the cat is on the mat is represented here as a string of graphical characters displayed on a monitor and/ or printed on paper, but it can be represented by a sequence of sounds or by some non-latin alphabet or by some cryptographic form") Merge.kif 3640-3654
(subclass Proposition Abstract) Merge.kif 3639-3639

appearance as argument number 2
-------------------------


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 24646-24646
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2353-2353
(instance ImmigrationAndNationalityAct-Section219-US Proposition) Government.kif 2351-2351
(instance ImmigrationAndNationalityAct-US Proposition) Government.kif 2348-2348
(range PremisesFn Proposition) Merge.kif 17049-17049
(subclass Agreement Proposition) Mid-level-ontology.kif 11300-11300
(subclass Argument Proposition) Merge.kif 16967-16967
(subclass BankStatement Proposition) FinancialOntology.kif 3717-3717
(subclass Catalog Proposition) Catalog.kif 31-31
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 20255-20255
(subclass Constitution Proposition) Government.kif 641-641
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1583-1583
(subclass Equation Proposition) engineering.kif 159-159
(subclass FieldOfStudy Proposition) Merge.kif 16915-16915
(subclass HotelPackage Proposition) Hotel.kif 2666-2666
(subclass LyricalContent Proposition) Mid-level-ontology.kif 11125-11125
(subclass MealPlan Proposition) Hotel.kif 1485-1485
(subclass Music Proposition) Mid-level-ontology.kif 11072-11072
(subclass Policy Proposition) Mid-level-ontology.kif 24993-24993
(subclass PricingScheme Proposition) Catalog.kif 179-179
(subclass Procedure Proposition) Merge.kif 16926-16926
(subclass RegionalLaw Proposition) Government.kif 856-856
(subclass ScientificLaw Proposition) engineering.kif 1245-1245
(subclass SuffrageLaw Proposition) Government.kif 892-892

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain ActivePolicy 1 Proposition) TravelPolicies.kif 170-170
(domain DocumentFn 1 Proposition) Geography.kif 2859-2859
(domain agreementAdoptionDate 1 Proposition) Government.kif 692-692
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 11410-11410
(domain agreementEffectiveDuring 1 Proposition) Government.kif 752-752
(domain agreementRevisionDate 1 Proposition) Government.kif 723-723
(domain agreementRevisionDate 3 Proposition) Government.kif 725-725
(domain capacityByArrangement 2 Proposition) Hotel.kif 756-756
(domain conclusion 2 Proposition) Merge.kif 17067-17067
(domain conforms 2 Proposition) Mid-level-ontology.kif 24663-24663
(domain consistent 1 Proposition) Merge.kif 17078-17078
(domain consistent 2 Proposition) Merge.kif 17079-17079
(domain containsInformation 2 Proposition) Merge.kif 1385-1385
(domain dateOpenedForSignature 1 Proposition) Geography.kif 2916-2916
(domain insured 1 Proposition) Mid-level-ontology.kif 6812-6812
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1468-1468
(domain policyEffectiveDate 1 Proposition) TravelPolicies.kif 187-187
(domain premise 2 Proposition) Merge.kif 17039-17039
(domain propositionOwner 2 Proposition) Catalog.kif 165-165
(domain realization 2 Proposition) Merge.kif 4707-4707
(domain reservedPackage 2 Proposition) Hotel.kif 2906-2906
(domain subProposition 1 Proposition) Merge.kif 4745-4745
(domain subProposition 2 Proposition) Merge.kif 4746-4746

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


(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Proposition))
    (exists (?TRANS ?PROC)
        (and
            (realization ?PROC ?ITEM)
            (instance ?TRANS Buying)
            (patient ?TRANS ?PROC)
            (origin ?TRANS ?AGENT))))
Mid-level-ontology.kif 27699-27708
(=>
    (and
        (instance ?CREATE Creation)
        (result ?CREATE ?PROP)
        (instance ?PROP Proposition)
        (agent ?CREATE ?AGENT))
    (propositionOwner ?AGENT ?PROP))
Catalog.kif 167-173
(=>
    (and
        (instance ?PROP Proposition)
        (instance
            (DocumentFn ?PROP) Text))
    (containsInformation ?DOC ?PROP))
Geography.kif 2865-2869
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2871-2878
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?ER ExpenseReport)
        (patient ?ER ?CBO))
    (represents ?ER ?PROP))
TravelPolicies.kif 615-622
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (instance ?PROP Proposition))
    (hasPurpose ?SR
        (knows ?AGENT ?PROP)))
MilitaryProcesses.kif 673-679
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE)
        (subclass ?ENT Proposition))
    (modalAttribute
        (=>
            (and
                (immediateInstance ?ITEM ?ENT)
                (realization ?PROCESS ?ITEM)
                (instance ?S Selling)
                (patient ?S ?PROCESS)
                (agent ?S ?SELLER)
                (destination ?S ?BUYER))
            (transactionAmount ?S ?PRICE)) Promise))
Catalog.kif 278-293
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?S ?X)
            (and
                (realization ?X ?PROP)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-75

consequent
-------------------------


(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 17154-17160
(=>
    (evidence ?LA ?P)
    (exists (?A)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 222-230
(=>
    (instance ?C Communication)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?C ?PROP))))
TravelPolicies.kif 102-107
(=>
    (instance ?CBO ContentBearingObject)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?CBO ?PROP))))
TravelPolicies.kif 95-100
(=>
    (instance ?CD ContentDevelopment)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?CD ?PROP))))
TravelPolicies.kif 112-117
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))
Government.kif 647-655
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 657-665
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15420-15425
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA1 ?PART1)
        (and
            (instance ?FORMULA1 Formula)
            (containsInformation ?FORMULA1 ?PART1)
            (instance ?PART1 Proposition)
            (subProposition ?PART1 ?T)
            (modalAttribute ?FORMULA1 Obligation))))
TravelPolicies.kif 454-462
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA2 ?PART2)
        (and
            (instance ?FORMULA2 Formula)
            (containsInformation ?FORMULA2 ?PART2)
            (instance ?PART2 Proposition)
            (subProposition ?PART2 ?T)
            (modalAttribute ?FORMULA2 Permission))))
TravelPolicies.kif 464-472
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2411-2420


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners