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 在这里是以显示器上或者是打印在纸上的一串图形字符来表示,但是它也可以由一系列的声音或者是某些 非拉丁字母或是某些加密形式来表示。") Merge.kif 5411-5418
(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 5395-5409
(documentation Proposition JapaneseLanguage "Proposition は、完全な思考またはそのような 考えのセットを表現する Abstract エンティティである。例として、数式 '(インスタンスヨージョキャット)' は、 Proposition を表し、ヨージョという名前のエンティティが猫の Class の要素である 。 注: 提案は、個々の Language の文章により表現されたコンテンツに限定されない。 それらは理論、書籍、 さらには図書館全体によって表現される内容を包含するかもしれない。Proposition と  ContentBearingObject を区別することが重要である。Proposition は、猫がマット上にあるなど、 情報の一部だが、ContentBearingObject はこの情報を表す Object である。 Proposition は、 文字列、サウンド、アイコンなど、複数の表現を持つ抽象化である。 例:猫がマットの上にある Proposition が ここでは、モニターもしくは紙に印刷されて、グラフィカル文字の文字列として表示され るが、音、または非ラテン系のアルファベットまたは暗号形式によるシーケンスで表すことができる。") Merge.kif 5420-5429
(subclass Proposition Abstract) Merge.kif 5394-5394 命題抽象的なsubclass では %n

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


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 25088-25088 AmericansWithDisabilitiesAct命題instance では %n
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2353-2353 AntiterrorismAndEffectiveDeathPenaltyAct命題instance では %n
(instance ImmigrationAndNationalityAct-Section219-US Proposition) Government.kif 2351-2351 ImmigrationAndNationalityAct-Section219-US命題instance では %n
(instance ImmigrationAndNationalityAct-US Proposition) Government.kif 2348-2348 ImmigrationAndNationalityAct-US命題instance では %n
(range PremisesFn Proposition) Merge.kif 21558-21558 PremisesFnrange命題 のインスタンス では %n
(subclass Agreement Proposition) Mid-level-ontology.kif 11561-11561 Agreement命題subclass では %n
(subclass Argument Proposition) Merge.kif 21476-21476 Argument命題subclass では %n
(subclass BankStatement Proposition) FinancialOntology.kif 3717-3717 BankStatement命題subclass では %n
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog命題subclass では %n
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 20648-20648 ClassificationScheme命題subclass では %n
(subclass Constitution Proposition) Government.kif 641-641 Constitution命題subclass では %n
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1583-1583 EconomicIndicator命題subclass では %n
(subclass Equation Proposition) engineering.kif 149-149 Equation命題subclass では %n
(subclass FieldOfStudy Proposition) Merge.kif 21424-21424 研究分野命題subclass では %n
(subclass Graph Proposition) Merge.kif 8119-8119 グラフ命題subclass では %n
(subclass GraphElement Proposition) Merge.kif 8339-8339 グラフ要素命題subclass では %n
(subclass HotelPackage Proposition) Hotel.kif 2666-2666 HotelPackage命題subclass では %n
(subclass LyricalContent Proposition) Mid-level-ontology.kif 11386-11386 LyricalContent命題subclass では %n
(subclass MealPlan Proposition) Hotel.kif 1485-1485 MealPlan命題subclass では %n
(subclass Music Proposition) Mid-level-ontology.kif 11333-11333 音楽命題subclass では %n
(subclass Policy Proposition) Mid-level-ontology.kif 25435-25435 Policy命題subclass では %n
(subclass PricingScheme Proposition) Catalog.kif 179-179 PricingScheme命題subclass では %n
(subclass Procedure Proposition) Merge.kif 21435-21435 手順命題subclass では %n
(subclass RegionalLaw Proposition) Government.kif 856-856 RegionalLaw命題subclass では %n
(subclass ScientificLaw Proposition) engineering.kif 1235-1235 ScientificLaw命題subclass では %n

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 2859-2859 DocumentFn の数値 1 引数は 命題instance では %n
(domain agreementAdoptionDate 1 Proposition) Government.kif 692-692 agreementAdoptionDate の数値 1 引数は 命題instance では %n
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 11671-11671 agreementClause の数値 1 引数は 命題instance では %n
(domain agreementEffectiveDuring 1 Proposition) Government.kif 752-752 agreementEffectiveDuring の数値 1 引数は 命題instance では %n
(domain agreementRevisionDate 1 Proposition) Government.kif 723-723 agreementRevisionDate の数値 1 引数は 命題instance では %n
(domain agreementRevisionDate 3 Proposition) Government.kif 725-725 agreementRevisionDate の数値 3 引数は 命題instance では %n
(domain capacityByArrangement 2 Proposition) Hotel.kif 756-756 capacityByArrangement の数値 2 引数は 命題instance では %n
(domain conclusion 2 Proposition) Merge.kif 21576-21576 conclusion の数値 2 引数は 命題instance では %n
(domain conforms 2 Proposition) Mid-level-ontology.kif 25105-25105 conforms の数値 2 引数は 命題instance では %n
(domain consistent 1 Proposition) Merge.kif 21587-21587 consistent の数値 1 引数は 命題instance では %n
(domain consistent 2 Proposition) Merge.kif 21588-21588 consistent の数値 2 引数は 命題instance では %n
(domain containsInformation 2 Proposition) Merge.kif 2156-2156 containsInformation の数値 2 引数は 命題instance では %n
(domain dateOpenedForSignature 1 Proposition) Geography.kif 2916-2916 dateOpenedForSignature の数値 1 引数は 命題instance では %n
(domain insured 1 Proposition) Mid-level-ontology.kif 6817-6817 insured の数値 1 引数は 命題instance では %n
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1452-1452 originalExpressedInLanguage の数値 1 引数は 命題instance では %n
(domain premise 2 Proposition) Merge.kif 21548-21548 premise の数値 2 引数は 命題instance では %n
(domain propositionOwner 2 Proposition) Catalog.kif 165-165 propositionOwner の数値 2 引数は 命題instance では %n
(domain realization 2 Proposition) Merge.kif 6819-6819 realization の数値 2 引数は 命題instance では %n
(domain reservedPackage 2 Proposition) Hotel.kif 2906-2906 reservedPackage の数値 2 引数は 命題instance では %n
(domain subProposition 1 Proposition) Merge.kif 6868-6868 subProposition の数値 1 引数は 命題instance では %n
(domain subProposition 2 Proposition) Merge.kif 6869-6869 subProposition の数値 2 引数は 命題instance では %n

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 28141-28150
(=>
    (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 ?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 21663-21669
(=>
    (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 ?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 19928-19933
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2410-2419


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