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

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


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 28812-28812 AmericansWithDisabilitiesAct and Proposition
(instance AmericansWithDisabilitiesAct_US Proposition) Medicine.kif 3156-3156 AmericansWithDisabilitiesAct_US and Proposition
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2367-2367 反恐怖主義和有效的死刑法 and Proposition
(instance ImmigrationAndNationalityAct_Section219_US Proposition) Government.kif 2365-2365 移民和國籍法- section219-US and Proposition
(instance ImmigrationAndNationalityAct_US Proposition) Government.kif 2362-2362 移民和國籍行為 and Proposition
(subclass Agreement Proposition) Mid-level-ontology.kif 15328-15328 子類 協議 and Proposition
(subclass Argument Proposition) Merge.kif 16987-16987 子類 爭論 and Proposition
(subclass BankStatement Proposition) FinancialOntology.kif 3900-3900 子類 銀行對帳單 and Proposition
(subclass Catalog Proposition) Catalog.kif 31-31 子類 Catalog and Proposition
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 24414-24414 子類 分類方案 and Proposition
(subclass Constitution Proposition) Government.kif 611-611 子類 憲法 and Proposition
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1655-1655 子類 經濟指標 and Proposition
(subclass Equation Proposition) engineering.kif 149-149 子類 方程 and Proposition
(subclass FieldOfStudy Proposition) Merge.kif 16944-16944 子類 FieldOfStudy and Proposition
(subclass Graph Proposition) Merge.kif 5647-5647 子類 Graph and Proposition
(subclass GraphElement Proposition) Merge.kif 5844-5844 子類 GraphElement and Proposition
(subclass HotelPackage Proposition) Hotel.kif 2736-2736 子類 HotelPackage and Proposition
(subclass LyricalContent Proposition) Mid-level-ontology.kif 15157-15157 子類 LyricalContent and Proposition
(subclass MealPlan Proposition) Hotel.kif 1552-1552 子類 MealPlan and Proposition
(subclass Model Proposition) engineering.kif 68-68 子類 模型 and Proposition
(subclass MultipolePostulate Proposition) engineering.kif 1579-1579 子類 多極假設 and Proposition
(subclass Music Proposition) Mid-level-ontology.kif 15104-15104 子類 Music and Proposition
(subclass Policy Proposition) Mid-level-ontology.kif 29086-29086 子類 Policy and Proposition
(subclass PricingScheme Proposition) Catalog.kif 184-184 子類 PricingScheme and Proposition
(subclass Procedure Proposition) Merge.kif 16952-16952 子類 Procedure 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 3170-3170 文獻, 1 and Proposition
(domain accountInformation 2 Proposition) ComputingBrands.kif 4407-4407 accountInformation, 2 and Proposition
(domain agreementAdoptionDate 1 Proposition) Government.kif 661-661 協議採用日期, 1 and Proposition
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 15438-15438 agreementClause, 1 and Proposition
(domain agreementEffectiveDuring 1 Proposition) Government.kif 720-720 協議有效期間, 1 and Proposition
(domain agreementRevisionDate 1 Proposition) Government.kif 692-692 協議修訂日期, 1 and Proposition
(domain agreementRevisionDate 3 Proposition) Government.kif 694-694 協議修訂日期, 3 and Proposition
(domain capacityByArrangement 2 Proposition) Hotel.kif 791-791 capacityByArrangement, 2 and Proposition
(domain conclusion 2 Proposition) Merge.kif 17071-17071 結論, 2 and Proposition
(domain conforms 2 Proposition) Mid-level-ontology.kif 28829-28829 conforms, 2 and Proposition
(domain consistent 1 Proposition) Merge.kif 17079-17079 一貫, 1 and Proposition
(domain consistent 2 Proposition) Merge.kif 17080-17080 一貫, 2 and Proposition
(domain containsInformation 2 Proposition) Merge.kif 1368-1368 包含信息, 2 and Proposition
(domain dateOpenedForSignature 1 Proposition) Geography.kif 3228-3228 日期開放供簽署, 1 and Proposition
(domain insured 1 Proposition) Mid-level-ontology.kif 8298-8298 投保, 1 and Proposition
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1456-1456 originalExpressedInLanguage, 1 and Proposition
(domain premise 2 Proposition) Merge.kif 17047-17047 前提, 2 and Proposition
(domain propositionOwner 2 Proposition) Catalog.kif 170-170 propositionOwner, 2 and Proposition
(domain realization 2 Proposition) Merge.kif 4626-4626 實現, 2 and Proposition
(domain reservedPackage 2 Proposition) Hotel.kif 2982-2982 reservedPackage, 2 and Proposition
(domain subProposition 1 Proposition) Merge.kif 4665-4665 次提案, 1 and Proposition
(domain subProposition 2 Proposition) Merge.kif 4666-4666 次提案, 2 and Proposition

appearance as argument number 5
-------------------------


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1680-1680 不相交分解 Abstract, Quantity, Attribute, Relation, Proposition and List

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 31866-31876
(=>
    (and
        (instance ?CREATE Creation)
        (result ?CREATE ?PROP)
        (instance ?PROP Proposition)
        (agent ?CREATE ?AGENT))
    (propositionOwner ?AGENT ?PROP))
Catalog.kif 172-178
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 3183-3190
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?TEXT
            (DocumentFn ?PROP)))
    (exists (?DOC)
        (containsInformation ?DOC ?TEXT)))
Geography.kif 3176-3181
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (instance ?PROP Proposition))
    (hasPurpose ?SR
        (knows ?AGENT ?PROP)))
MilitaryProcesses.kif 684-690
(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?P ?S ?X)
            (and
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-76

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


(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))
Merge.kif 17148-17154
(=>
    (evidence ?LA ?P)
    (exists (?A ?PROP)
        (and
            (instance ?PROP Proposition)
            (instance ?A Argument)
            (refers ?A ?LA)
            (represents ?PROP ?P)
            (premise ?A ?PROP))))
Law.kif 180-188
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Obligation))))
Government.kif 617-625
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 627-635
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15600-15605
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2204-2213
(=>
    (instance ?X PartInspection)
    (hasPurpose ?X
        (exists (?O ?P)
            (and
                (instance ?O SelfConnectedObject)
                (patient ?X ?O)
                (instance ?P Proposition)
                (refers ?P ?O)
                (modalAttribute
                    (conforms ?O ?P) Necessity)))))
Economy.kif 2072-2082


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