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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proposition
Proposition(proposition)Archimedes'_principle, Arianism, Aristotelianism, Arminianism, Arrhenius_theory_of_dissociation, Asian_shamanism, Athanasian_Creed, Athanasianism, Avogadro's_hypothesis, Avogadro's_law, Bayes'_theorem, Behmenism, Benford's_law, Bernoulli's_law, Boehmenism, Bohr_theory, Boltzmann_distribution_law, Bose-Einstein_statistics, Boyle's_law, Brahmanism, Brahminism, British_empiricism, Byzantinism, Cabala, Cabalism, Cabbala, Cabbalah, Caesaropapism, Charles's_law, Chartism, Christian_Science, Christology, Comtism, Confucianism, Congregationalism, Copernican_system, Coulomb's_Law, DNA_fingerprint, Dalton's_law, Dalton's_law_of_partial_pressures, Daoism, Darsana, Darwinism, Docetism, Einstein's_general_theory_of_relativity, Einstein's_special_theory_of_relativity, Einstein's_theory_of_relativity, Episcopalianism, Erastianism, Euclid's_axiom...

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 3515-3529
(subclass Proposition Abstract) Merge.kif 3514-3514 Proposition is a subclass of abstract

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


(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 26806-26806 ADA is an instance of proposition
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2406-2406 Antiterrorism and effective death penalty act is an instance of proposition
(instance ImmigrationAndNationalityAct-Section219-US Proposition) Government.kif 2404-2404 Immigration and nationality act- section219-US is an instance of proposition
(instance ImmigrationAndNationalityAct-US Proposition) Government.kif 2401-2401 Immigration and nationality act-US is an instance of proposition
(range PremisesFn Proposition) Merge.kif 16733-16733 The range of premises is an instance of proposition
(subclass Agreement Proposition) Mid-level-ontology.kif 13803-13803 Agreement is a subclass of proposition
(subclass Argument Proposition) Merge.kif 16665-16665 Argument is a subclass of proposition
(subclass BankStatement Proposition) FinancialOntology.kif 3893-3893 Bank statement is a subclass of proposition
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog is a subclass of proposition
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22721-22721 Classification scheme is a subclass of proposition
(subclass Constitution Proposition) Government.kif 647-647 Constitution is a subclass of proposition
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 Economic indicator is a subclass of proposition
(subclass Equation Proposition) engineering.kif 149-149 Equation is a subclass of proposition
(subclass FieldOfStudy Proposition) Merge.kif 16622-16622 Field of study is a subclass of proposition
(subclass Graph Proposition) Merge.kif 5553-5553 Graph is a subclass of proposition
(subclass GraphElement Proposition) Merge.kif 5750-5750 Graph element is a subclass of proposition
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 Hotel package is a subclass of proposition
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13632-13632 Lyrical content is a subclass of proposition
(subclass MealPlan Proposition) Hotel.kif 1541-1541 Meal plan is a subclass of proposition
(subclass Model Proposition) engineering.kif 68-68 Model is a subclass of proposition
(subclass MultipolePostulate Proposition) engineering.kif 1265-1265 Multipole postulate is a subclass of proposition
(subclass Music Proposition) Mid-level-ontology.kif 13579-13579 Music is a subclass of proposition
(subclass Policy Proposition) Mid-level-ontology.kif 27100-27100 Policy is a subclass of proposition
(subclass PricingScheme Proposition) Catalog.kif 184-184 Pricing scheme is a subclass of proposition
(subclass Procedure Proposition) Merge.kif 16630-16630 Procedure is a subclass of 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 2945-2945 The number 1 argument of document is an instance of proposition
(domain accountInformation 2 Proposition) ComputingBrands.kif 4410-4410 The number 2 argument of account information is an instance of proposition
(domain agreementAdoptionDate 1 Proposition) Government.kif 698-698 The number 1 argument of agreement adoption date is an instance of proposition
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 13913-13913 The number 1 argument of agreement clause is an instance of proposition
(domain agreementEffectiveDuring 1 Proposition) Government.kif 758-758 The number 1 argument of agreement effective during is an instance of proposition
(domain agreementRevisionDate 1 Proposition) Government.kif 729-729 The number 1 argument of agreement revision date is an instance of proposition
(domain agreementRevisionDate 3 Proposition) Government.kif 731-731 The number 3 argument of agreement revision date is an instance of proposition
(domain capacityByArrangement 2 Proposition) Hotel.kif 787-787 The number 2 argument of capacity by arrangement is an instance of proposition
(domain conclusion 2 Proposition) Merge.kif 16749-16749 The number 2 argument of conclusion is an instance of proposition
(domain conforms 2 Proposition) Mid-level-ontology.kif 26823-26823 The number 2 argument of conforms is an instance of proposition
(domain consistent 1 Proposition) Merge.kif 16757-16757 The number 1 argument of consistent is an instance of proposition
(domain consistent 2 Proposition) Merge.kif 16758-16758 The number 2 argument of consistent is an instance of proposition
(domain containsInformation 2 Proposition) Merge.kif 1330-1330 The number 2 argument of contains information is an instance of proposition
(domain dateOpenedForSignature 1 Proposition) Geography.kif 3003-3003 The number 1 argument of date opened for signature is an instance of proposition
(domain insured 1 Proposition) Mid-level-ontology.kif 7096-7096 The number 1 argument of insured is an instance of proposition
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1452-1452 The number 1 argument of original expressed in language is an instance of proposition
(domain premise 2 Proposition) Merge.kif 16725-16725 The number 2 argument of premise is an instance of proposition
(domain propositionOwner 2 Proposition) Catalog.kif 170-170 The number 2 argument of proposition owner is an instance of proposition
(domain realization 2 Proposition) Merge.kif 4533-4533 The number 2 argument of realization is an instance of proposition
(domain reservedPackage 2 Proposition) Hotel.kif 2971-2971 The number 2 argument of reserved package is an instance of proposition
(domain subProposition 1 Proposition) Merge.kif 4572-4572 The number 1 argument of sub proposition is an instance of proposition
(domain subProposition 2 Proposition) Merge.kif 4573-4573 The number 2 argument of sub proposition is an instance of proposition

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1629-1629 Abstract is disjointly decomposed into 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 29889-29899
(=>
    (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 2958-2965
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?TEXT
            (DocumentFn ?PROP)))
    (exists (?DOC)
        (containsInformation ?DOC ?TEXT)))
Geography.kif 2951-2956
(=>
    (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 16827-16833
(=>
    (evidence ?LA ?P)
    (exists (?A ?PROP)
        (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 653-661
(=>
    (instance ?CONST Constitution)
    (exists (?FORMULA ?PART)
        (and
            (instance ?FORMULA Formula)
            (containsInformation ?FORMULA ?PART)
            (instance ?PART Proposition)
            (subProposition ?PART ?CONST)
            (modalAttribute ?FORMULA Permission))))
Government.kif 663-671
(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))
Merge.kif 15300-15305
(=>
    (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 3.0 is open source software produced by Articulate Software and its partners