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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Proposition

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 3492-3506
(subclass Proposition Abstract) Merge.kif 3491-3491 命题抽象体subclass

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


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 26377-26377 AmericansWithDisabilitiesAct命题instance
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2403-2403 反恐怖主义和有效的死刑法命题instance
(instance ImmigrationAndNationalityAct-Section219-US Proposition) Government.kif 2401-2401 移民和国籍法- section219-US命题instance
(instance ImmigrationAndNationalityAct-US Proposition) Government.kif 2398-2398 移民和国籍行为命题instance
(range PremisesFn Proposition) Merge.kif 16626-16626 前提函数range命题 的实例
(subclass Agreement Proposition) Mid-level-ontology.kif 13476-13476 协议命题subclass
(subclass Argument Proposition) Merge.kif 16558-16558 争论命题subclass
(subclass BankStatement Proposition) FinancialOntology.kif 3834-3834 银行对帐单命题subclass
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog命题subclass
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22304-22304 分类方案命题subclass
(subclass Constitution Proposition) Government.kif 645-645 宪法命题subclass
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1638-1638 经济指标命题subclass
(subclass Equation Proposition) engineering.kif 149-149 方程命题subclass
(subclass FieldOfStudy Proposition) Merge.kif 16515-16515 研究领域命题subclass
(subclass Graph Proposition) Merge.kif 5530-5530 命题subclass
(subclass GraphElement Proposition) Merge.kif 5725-5725 图元素命题subclass
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage命题subclass
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13305-13305 LyricalContent命题subclass
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan命题subclass
(subclass Model Proposition) engineering.kif 68-68 模型命题subclass
(subclass MultipolePostulate Proposition) engineering.kif 1265-1265 多极假设命题subclass
(subclass Music Proposition) Mid-level-ontology.kif 13252-13252 音乐命题subclass
(subclass Policy Proposition) Mid-level-ontology.kif 26671-26671 Policy命题subclass
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme命题subclass
(subclass Procedure Proposition) Merge.kif 16523-16523 程序命题subclass

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 2934-2934 文献 的 1 数量 是 命题instance
(domain accountInformation 2 Proposition) ComputingBrands.kif 4375-4375 accountInformation 的 2 数量 是 命题instance
(domain agreementAdoptionDate 1 Proposition) Government.kif 696-696 协议采用日期 的 1 数量 是 命题instance
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 13586-13586 agreementClause 的 1 数量 是 命题instance
(domain agreementEffectiveDuring 1 Proposition) Government.kif 756-756 协议有效期间 的 1 数量 是 命题instance
(domain agreementRevisionDate 1 Proposition) Government.kif 727-727 协议修订日期 的 1 数量 是 命题instance
(domain agreementRevisionDate 3 Proposition) Government.kif 729-729 协议修订日期 的 3 数量 是 命题instance
(domain capacityByArrangement 2 Proposition) Hotel.kif 787-787 capacityByArrangement 的 2 数量 是 命题instance
(domain conclusion 2 Proposition) Merge.kif 16642-16642 结论 的 2 数量 是 命题instance
(domain conforms 2 Proposition) Mid-level-ontology.kif 26394-26394 conforms 的 2 数量 是 命题instance
(domain consistent 1 Proposition) Merge.kif 16650-16650 一贯 的 1 数量 是 命题instance
(domain consistent 2 Proposition) Merge.kif 16651-16651 一贯 的 2 数量 是 命题instance
(domain containsInformation 2 Proposition) Merge.kif 1319-1319 包含信息 的 2 数量 是 命题instance
(domain dateOpenedForSignature 1 Proposition) Geography.kif 2992-2992 日期开放供签署 的 1 数量 是 命题instance
(domain insured 1 Proposition) Mid-level-ontology.kif 6835-6835 投保 的 1 数量 是 命题instance
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1452-1452 originalExpressedInLanguage 的 1 数量 是 命题instance
(domain premise 2 Proposition) Merge.kif 16618-16618 前提 的 2 数量 是 命题instance
(domain propositionOwner 2 Proposition) Catalog.kif 170-170 propositionOwner 的 2 数量 是 命题instance
(domain realization 2 Proposition) Merge.kif 4510-4510 体现 的 2 数量 是 命题instance
(domain reservedPackage 2 Proposition) Hotel.kif 2971-2971 reservedPackage 的 2 数量 是 命题instance
(domain subProposition 1 Proposition) Merge.kif 4549-4549 子命题 的 1 数量 是 命题instance
(domain subProposition 2 Proposition) Merge.kif 4550-4550 子命题 的 2 数量 是 命题instance

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1618-1618 抽象体 分拆成不相交的 数量, 属性, 关系, 命题, 和 串列

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 29478-29488
(=>
    (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
            (DocumentFn ?PROP) Text))
    (exists (?DOC)
        (containsInformation ?DOC ?PROP)))
Geography.kif 2940-2945
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))
Geography.kif 2947-2954
(=>
    (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 16720-16726
(=>
    (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 651-659
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 661-669
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15193-15198
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2413-2422


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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