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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Proposition

Sigma KEE - Proposition
Proposition(Proposizione)

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 3557-3571
(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 3556-3556 Proposizione è una sottoclasse di Astratto

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


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 26946-26946 AmericansWithDisabilitiesAct è un' istanza di Proposizione
(instance AmericansWithDisabilitiesAct-US Proposition) Medicine.kif 3155-3155 AmericansWithDisabilitiesAct-US è un' istanza di Proposizione
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2370-2370 AntiterrorismAndEffectiveDeathPenaltyAct è un' istanza di Proposizione
(instance ImmigrationAndNationalityAct-Section219-US Proposition) Government.kif 2368-2368 ImmigrationAndNationalityAct-Section219-US è un' istanza di Proposizione
(instance ImmigrationAndNationalityAct-US Proposition) Government.kif 2365-2365 ImmigrationAndNationalityAct-US è un' istanza di Proposizione
(subclass Agreement Proposition) Mid-level-ontology.kif 13984-13984 Agreement è una sottoclasse di Proposizione
(subclass Argument Proposition) Merge.kif 16883-16883 Argument è una sottoclasse di Proposizione
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 BankStatement è una sottoclasse di Proposizione
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog è una sottoclasse di Proposizione
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22825-22825 ClassificationScheme è una sottoclasse di Proposizione
(subclass Constitution Proposition) Government.kif 611-611 Constitution è una sottoclasse di Proposizione
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 EconomicIndicator è una sottoclasse di Proposizione
(subclass Equation Proposition) engineering.kif 150-150 Equation è una sottoclasse di Proposizione
(subclass FieldOfStudy Proposition) Merge.kif 16840-16840 CampoDiStudio è una sottoclasse di Proposizione
(subclass Graph Proposition) Merge.kif 5623-5623 Grafo è una sottoclasse di Proposizione
(subclass GraphElement Proposition) Merge.kif 5820-5820 ElementoDelGrafo è una sottoclasse di Proposizione
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage è una sottoclasse di Proposizione
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13813-13813 LyricalContent è una sottoclasse di Proposizione
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan è una sottoclasse di Proposizione
(subclass Model Proposition) engineering.kif 69-69 Model è una sottoclasse di Proposizione
(subclass MultipolePostulate Proposition) engineering.kif 1266-1266 MultipolePostulate è una sottoclasse di Proposizione
(subclass Music Proposition) Mid-level-ontology.kif 13760-13760 Musica è una sottoclasse di Proposizione
(subclass Policy Proposition) Mid-level-ontology.kif 27218-27218 Policy è una sottoclasse di Proposizione
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme è una sottoclasse di Proposizione
(subclass Procedure Proposition) Merge.kif 16848-16848 Procedura è una sottoclasse di Proposizione

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 3012-3012 Il numero 1 argomenti di DocumentFn è un istanza di Proposizione
(domain accountInformation 2 Proposition) ComputingBrands.kif 4412-4412 Il numero 2 argomenti di accountInformation è un istanza di Proposizione
(domain agreementAdoptionDate 1 Proposition) Government.kif 662-662 Il numero 1 argomenti di agreementAdoptionDate è un istanza di Proposizione
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 14094-14094 Il numero 1 argomenti di agreementClause è un istanza di Proposizione
(domain agreementEffectiveDuring 1 Proposition) Government.kif 722-722 Il numero 1 argomenti di agreementEffectiveDuring è un istanza di Proposizione
(domain agreementRevisionDate 1 Proposition) Government.kif 693-693 Il numero 1 argomenti di agreementRevisionDate è un istanza di Proposizione
(domain agreementRevisionDate 3 Proposition) Government.kif 695-695 Il numero 3 argomenti di agreementRevisionDate è un istanza di Proposizione
(domain capacityByArrangement 2 Proposition) Hotel.kif 787-787 Il numero 2 argomenti di capacityByArrangement è un istanza di Proposizione
(domain conclusion 2 Proposition) Merge.kif 16967-16967 Il numero 2 argomenti di conclusion è un istanza di Proposizione
(domain conforms 2 Proposition) Mid-level-ontology.kif 26963-26963 Il numero 2 argomenti di conforms è un istanza di Proposizione
(domain consistent 1 Proposition) Merge.kif 16975-16975 Il numero 1 argomenti di consistent è un istanza di Proposizione
(domain consistent 2 Proposition) Merge.kif 16976-16976 Il numero 2 argomenti di consistent è un istanza di Proposizione
(domain containsInformation 2 Proposition) Merge.kif 1358-1358 Il numero 2 argomenti di containsInformation è un istanza di Proposizione
(domain dateOpenedForSignature 1 Proposition) Geography.kif 3070-3070 Il numero 1 argomenti di dateOpenedForSignature è un istanza di Proposizione
(domain insured 1 Proposition) Mid-level-ontology.kif 7164-7164 Il numero 1 argomenti di insured è un istanza di Proposizione
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1454-1454 Il numero 1 argomenti di originalExpressedInLanguage è un istanza di Proposizione
(domain premise 2 Proposition) Merge.kif 16943-16943 Il numero 2 argomenti di premise è un istanza di Proposizione
(domain propositionOwner 2 Proposition) Catalog.kif 170-170 Il numero 2 argomenti di propositionOwner è un istanza di Proposizione
(domain realization 2 Proposition) Merge.kif 4599-4599 Il numero 2 argomenti di realization è un istanza di Proposizione
(domain reservedPackage 2 Proposition) Hotel.kif 2971-2971 Il numero 2 argomenti di reservedPackage è un istanza di Proposizione
(domain subProposition 1 Proposition) Merge.kif 4638-4638 Il numero 1 argomenti di subProposition è un istanza di Proposizione
(domain subProposition 2 Proposition) Merge.kif 4639-4639 Il numero 2 argomenti di subProposition è un istanza di Proposizione

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1670-1670 Astratto è scomposto disgiuntivamente in Quantit�, Attributo, Relazione, Proposizione, + Lista

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 29998-30008
(=>
    (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 3025-3032
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?TEXT
            (DocumentFn ?PROP)))
    (exists (?DOC)
        (containsInformation ?DOC ?TEXT)))
Geography.kif 3018-3023
(=>
    (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 17044-17050
(=>
    (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 15493-15498
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))
UXExperimentalTerms.kif 2204-2213


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