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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proposition
Proposition

VerbNet: reflexive_appearance-48.1.2|suggest, indicate-78|imply, reflexive_appearance-48.1.2|suggest, reflexive_appearance-48.1.2|suggest,


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


(documentation Proposition ChineseLanguage "PropositionAbstract 实体, 它表达一个完整 的意思或是一套想法。例如:公式 '(instance Yojo Cat)' 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注:命题限于由 Language 的个别句子所表达的内容,这可以包括由理论、书本和甚至整个 图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObjectProposition 实一个信息,例如说猫在地毯上;但是 ContentBearingObject 是一个表达该信息的 ObjectProposition 可以有多个描述的抽象概念:字符串、声音和图标等。例如:猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示,但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。") chinese_format.kif 2031-2038
(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 3311-3325
(subclass Proposition Abstract) Merge.kif 3310-3310 subclass Proposition and Abstract

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


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 25088-25088 instance AmericansWithDisabilitiesAct and Proposition
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2347-2347 instance AntiterrorismAndEffectiveDeathPenaltyAct and Proposition
(instance ImmigrationAndNationalityAct-Section219-US Proposition) Government.kif 2345-2345 instance ImmigrationAndNationalityAct-Section219-US and Proposition
(instance ImmigrationAndNationalityAct-US Proposition) Government.kif 2342-2342 instance ImmigrationAndNationalityAct-US and Proposition
(range PremisesFn Proposition) Merge.kif 15581-15581 range PremisesFn and Proposition
(subclass Agreement Proposition) Mid-level-ontology.kif 11565-11565 subclass Agreement and Proposition
(subclass Argument Proposition) Merge.kif 15513-15513 subclass Argument and Proposition
(subclass BankStatement Proposition) FinancialOntology.kif 3723-3723 subclass BankStatement and Proposition
(subclass Catalog Proposition) Catalog.kif 31-31 subclass Catalog and Proposition
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 20648-20648 subclass ClassificationScheme and Proposition
(subclass Constitution Proposition) Government.kif 634-634 subclass Constitution and Proposition
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1581-1581 subclass EconomicIndicator and Proposition
(subclass Equation Proposition) engineering.kif 149-149 subclass Equation and Proposition
(subclass FieldOfStudy Proposition) Merge.kif 15470-15470 subclass FieldOfStudy and Proposition
(subclass Graph Proposition) Merge.kif 5209-5209 subclass Graph and Proposition
(subclass GraphElement Proposition) Merge.kif 5380-5380 subclass GraphElement and Proposition
(subclass HotelPackage Proposition) Hotel.kif 2671-2671 subclass HotelPackage and Proposition
(subclass LyricalContent Proposition) Mid-level-ontology.kif 11390-11390 subclass LyricalContent and Proposition
(subclass MealPlan Proposition) Hotel.kif 1489-1489 subclass MealPlan and Proposition
(subclass Music Proposition) Mid-level-ontology.kif 11337-11337 subclass Music and Proposition
(subclass Policy Proposition) Mid-level-ontology.kif 25427-25427 subclass Policy and Proposition
(subclass PricingScheme Proposition) Catalog.kif 179-179 subclass PricingScheme and Proposition
(subclass Procedure Proposition) Merge.kif 15478-15478 subclass Procedure and Proposition
(subclass RegionalLaw Proposition) Government.kif 849-849 subclass RegionalLaw and Proposition
(subclass ScientificLaw Proposition) engineering.kif 1235-1235 subclass ScientificLaw and Proposition

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(domain DocumentFn 1 Proposition) Geography.kif 2871-2871 domain DocumentFn, 1 and Proposition
(domain agreementAdoptionDate 1 Proposition) Government.kif 685-685 domain agreementAdoptionDate, 1 and Proposition
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 11675-11675 domain agreementClause, 1 and Proposition
(domain agreementEffectiveDuring 1 Proposition) Government.kif 745-745 domain agreementEffectiveDuring, 1 and Proposition
(domain agreementRevisionDate 1 Proposition) Government.kif 716-716 domain agreementRevisionDate, 1 and Proposition
(domain agreementRevisionDate 3 Proposition) Government.kif 718-718 domain agreementRevisionDate, 3 and Proposition
(domain capacityByArrangement 2 Proposition) Hotel.kif 760-760 domain capacityByArrangement, 2 and Proposition
(domain conclusion 2 Proposition) Merge.kif 15597-15597 domain conclusion, 2 and Proposition
(domain conforms 2 Proposition) Mid-level-ontology.kif 25105-25105 domain conforms, 2 and Proposition
(domain consistent 1 Proposition) Merge.kif 15605-15605 domain consistent, 1 and Proposition
(domain consistent 2 Proposition) Merge.kif 15606-15606 domain consistent, 2 and Proposition
(domain containsInformation 2 Proposition) Merge.kif 1257-1257 domain containsInformation, 2 and Proposition
(domain dateOpenedForSignature 1 Proposition) Geography.kif 2929-2929 domain dateOpenedForSignature, 1 and Proposition
(domain insured 1 Proposition) Mid-level-ontology.kif 6817-6817 domain insured, 1 and Proposition
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1446-1446 domain originalExpressedInLanguage, 1 and Proposition
(domain premise 2 Proposition) Merge.kif 15573-15573 domain premise, 2 and Proposition
(domain propositionOwner 2 Proposition) Catalog.kif 165-165 domain propositionOwner, 2 and Proposition
(domain realization 2 Proposition) Merge.kif 4281-4281 domain realization, 2 and Proposition
(domain reservedPackage 2 Proposition) Hotel.kif 2912-2912 domain reservedPackage, 2 and Proposition
(domain subProposition 1 Proposition) Merge.kif 4316-4316 domain subProposition, 1 and Proposition
(domain subProposition 2 Proposition) Merge.kif 4317-4317 domain subProposition, 2 and Proposition

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


(=>
    (and
        (buys ?CUST ?AGENT ?ITEM)
        (instance ?ITEM Proposition))
    (exists (?TRANS ?PROC)
        (and
            (agent ?TRANS ?CUST)
            (realization ?PROC ?ITEM)
            (instance ?TRANS Buying)
            (patient ?TRANS ?PROC)
            (origin ?TRANS ?AGENT))))
Mid-level-ontology.kif 28133-28143
(=>
    (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))
    (exists (?DOC)
        (containsInformation ?DOC ?PROP)))
Geography.kif 2877-2882
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2884-2891
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (instance ?PROP Proposition))
    (hasPurpose ?SR
        (knows ?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
(=>
    (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 15669-15675
(=>
    (evidence ?LA ?P)
    (exists (?A)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 223-231
(=>
    (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 ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 14175-14180
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2408-2417


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