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


KB Term:  Term intersection
English Word: 

Sigma KEE - Proposition
Proposition(proposition)

appearance as argument number 1
-------------------------


(subclass Proposition Abstract) Merge.kif 3594-3594 Proposition is a subclass of abstract
(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 3595-3609 Proposition is a subclass of abstract

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


(subclass Graph Proposition) Merge.kif 5671-5671 Graph is a subclass of proposition
(subclass GraphElement Proposition) Merge.kif 5868-5868 Graph element is a subclass of proposition
(subclass FieldOfStudy Proposition) Merge.kif 16966-16966 Field of study is a subclass of proposition
(subclass Procedure Proposition) Merge.kif 16974-16974 Procedure is a subclass of proposition
(subclass Argument Proposition) Merge.kif 17009-17009 Argument is a subclass of proposition
(subclass Music Proposition) Mid-level-ontology.kif 15255-15255 Music is a subclass of proposition
(subclass LyricalContent Proposition) Mid-level-ontology.kif 15308-15308 Lyrical content is a subclass of proposition
(subclass Agreement Proposition) Mid-level-ontology.kif 15479-15479 Agreement is a subclass of proposition
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 25151-25151 Classification scheme is a subclass of proposition
(instance AmericansWithDisabilitiesAct Proposition) Mid-level-ontology.kif 29576-29576 ADA is an instance of proposition
(subclass Policy Proposition) Mid-level-ontology.kif 29850-29850 Policy is a subclass of proposition
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog is a subclass of proposition
(subclass PricingScheme Proposition) Catalog.kif 184-184 Pricing scheme is a subclass of proposition
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1655-1655 Economic indicator is a subclass of proposition
(subclass BankStatement Proposition) FinancialOntology.kif 3900-3900 Bank statement is a subclass of proposition
(subclass Constitution Proposition) Government.kif 611-611 Constitution is a subclass of proposition
(subclass RegionalLaw Proposition) Government.kif 825-825 Regional law is a subclass of proposition
(subclass SuffrageLaw Proposition) Government.kif 861-861 Suffrage law is a subclass of proposition
(instance ImmigrationAndNationalityAct_US Proposition) Government.kif 2362-2362 Immigration and nationality act_US is an instance of proposition
(instance ImmigrationAndNationalityAct_Section219_US Proposition) Government.kif 2369-2369 Immigration and nationality act- section219-US is an instance of proposition
(instance AntiterrorismAndEffectiveDeathPenaltyAct Proposition) Government.kif 2383-2383 Antiterrorism and effective death penalty act is an instance of proposition
(subclass MealPlan Proposition) Hotel.kif 1552-1552 Meal plan is a subclass of proposition
(subclass HotelPackage Proposition) Hotel.kif 2736-2736 Hotel package is a subclass of proposition
(instance AmericansWithDisabilitiesAct_US Proposition) Medicine.kif 3143-3143 ADA is an instance of proposition

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


(domain containsInformation 2 Proposition) Merge.kif 1393-1393 The number 2 argument of contains information is an instance of proposition
(domain realization 2 Proposition) Merge.kif 4650-4650 The number 2 argument of realization is an instance of proposition
(domain subProposition 1 Proposition) Merge.kif 4689-4689 The number 1 argument of sub proposition is an instance of proposition
(domain subProposition 2 Proposition) Merge.kif 4690-4690 The number 2 argument of sub proposition is an instance of proposition
(domain premise 2 Proposition) Merge.kif 17069-17069 The number 2 argument of premise is an instance of proposition
(domain conclusion 2 Proposition) Merge.kif 17093-17093 The number 2 argument of conclusion is an instance of proposition
(domain consistent 1 Proposition) Merge.kif 17101-17101 The number 1 argument of consistent is an instance of proposition
(domain consistent 2 Proposition) Merge.kif 17102-17102 The number 2 argument of consistent is an instance of proposition
(domain insured 1 Proposition) Mid-level-ontology.kif 8316-8316 The number 1 argument of insured is an instance of proposition
(domain agreementClause 1 Proposition) Mid-level-ontology.kif 15589-15589 The number 1 argument of agreement clause is an instance of proposition
(domain conforms 2 Proposition) Mid-level-ontology.kif 29593-29593 The number 2 argument of conforms 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 accountInformation 2 Proposition) ComputingBrands.kif 4318-4318 The number 2 argument of account information is an instance of proposition
(domain DocumentFn 1 Proposition) Geography.kif 4467-4467 The number 1 argument of document is an instance of proposition
(domain dateOpenedForSignature 1 Proposition) Geography.kif 4525-4525 The number 1 argument of date opened for signature is an instance of proposition
(domain agreementAdoptionDate 1 Proposition) Government.kif 661-661 The number 1 argument of agreement adoption date is an instance of proposition
(domain agreementRevisionDate 1 Proposition) Government.kif 692-692 The number 1 argument of agreement revision date is an instance of proposition
(domain agreementRevisionDate 3 Proposition) Government.kif 694-694 The number 3 argument of agreement revision date is an instance of proposition
(domain agreementEffectiveDuring 1 Proposition) Government.kif 720-720 The number 1 argument of agreement effective during is an instance of proposition
(domain capacityByArrangement 2 Proposition) Hotel.kif 791-791 The number 2 argument of capacity by arrangement is an instance of proposition
(domain reservedPackage 2 Proposition) Hotel.kif 2982-2982 The number 2 argument of reserved package is an instance of proposition
(domain originalExpressedInLanguage 1 Proposition) Music.kif 1456-1456 The number 1 argument of original expressed in language is an instance of proposition
(domain activePolicy 1 Proposition) TravelPolicies.kif 170-170 The number 1 argument of activePolicy is an instance of proposition
(domain policyEffectiveDate 1 Proposition) TravelPolicies.kif 187-187 The number 1 argument of policyEffectiveDate is an instance of proposition

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


(disjointDecomposition Abstract Quantity Attribute Relation Proposition List) Merge.kif 1704-1704 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 32635-32645 If X buys Y from Z and Y is an instance of proposition, then there exist W, V such that X is an agent of W, V expresses the content of Y, W is an instance of buying, V is a patient of W, and W originates at Z
(=>
    (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 If X offers items for sale in Y, Z is in Y, and Z is a subclass of proposition, then the statement there exist W, V, U such that W is an instance of Z, U expresses the content of W, V is an instance of selling, U is a patient of V, and X is an agent of V has the modal force of possibility
(=>
    (and
        (instance ?CREATE Creation)
        (result ?CREATE ?PROP)
        (instance ?PROP Proposition)
        (agent ?CREATE ?AGENT))
    (propositionOwner ?AGENT ?PROP))		 Catalog.kif 172-178 If X is an instance of creation, Y is a result of X, Y is an instance of proposition, and Z is an agent of X, then Z authored Y
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?TEXT
            (DocumentFn ?PROP)))
    (exists (?DOC)
        (containsInformation ?DOC ?TEXT)))		 Geography.kif 4473-4478 If X is an instance of proposition and Y is an instance of the document of X, then there exists Z such that Z contains information Y
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?COMM Communication)
        (patient ?COMM ?CBO))
    (represents ?COMM ?PROP))		 Geography.kif 4480-4487 If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of communication, and Y is a patient of Z, then Z expresses X
(=>
    (and
        (instance ?SR ReconnaissanceOperation)
        (agent ?SR ?AGENT)
        (instance ?PROP Proposition))
    (hasPurpose ?SR
        (knows ?AGENT ?PROP)))		 MilitaryProcesses.kif 703-709 If X is an instance of reconnaissance operation, Y is an agent of X, and Z is an instance of proposition, then X has the purpose Y knows Z
(=>
    (and
        (instance ?PROP Proposition)
        (instance ?CBO ContentBearingObject)
        (containsInformation ?CBO ?PROP)
        (instance ?ER ExpenseReport)
        (patient ?ER ?CBO))
    (represents ?ER ?PROP))		 TravelPolicies.kif 624-631 If X is an instance of proposition, Y is an instance of content bearing object, Y contains information X, Z is an instance of ExpenseReport, and Y is a patient of Z, then Z expresses X

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


(=>
    (instance ?SENT Sentence)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?SENT ?PROP))))		 Merge.kif 15622-15627 If X is an instance of sentence, then there exists Y such that Y is an instance of proposition and X contains information Y
(=>
    (and
        (property ?ITEM ?VALUE)
        (instance ?VALUE TruthValue))
    (or
        (instance ?ITEM Sentence)
        (instance ?ITEM Proposition)))		 Merge.kif 17170-17176 If X the attribute Y and Y is an instance of truth value, then X is an instance of sentence or X is an instance of proposition
(=>
    (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 2067-2077 If X is an instance of part inspection, then X has the purpose there exist Y, Z such that Y is an instance of self connected object, Y is a patient of X, Z is an instance of proposition, Z includes a reference to Y, and the statement Y conforms to Z has the modal force of necessity
(=>
    (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 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation
(=>
    (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 If X is an instance of constitution, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission
(=>
    (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 If X is evidence in Y, then there exist Z, W such that W is an instance of proposition, Z is an instance of argument, Z includes a reference to Y, W expresses X, and W is a premise of Z
(=>
    (instance ?WAREHOUSE DataWarehouse)
    (hasPurpose ?WAREHOUSE
        (exists (?SUBJECT)
            (and
                (instance ?SUBJECT Proposition)
                (forall (?DATA)
                    (and
                        (refers ?DATA ?SUBJECT)
                        (component ?DATA ?WAREHOUSE)))))))		 UXExperimentalTerms.kif 2204-2213 If X is an instance of data warehouse, then X has the purpose there exists Y such that Y is an instance of proposition, Z Z includes a reference to Y, and Z is a component of X
(=>
    (instance ?CBO ContentBearingObject)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?CBO ?PROP))))		 TravelPolicies.kif 95-100 If X is an instance of content bearing object, then there exists Y such that Y is an instance of proposition and X contains information Y
(=>
    (instance ?C Communication)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?C ?PROP))))		 TravelPolicies.kif 102-107 If X is an instance of communication, then there exists Y such that Y is an instance of proposition and X contains information Y
(=>
    (instance ?CD ContentDevelopment)
    (exists (?PROP)
        (and
            (instance ?PROP Proposition)
            (containsInformation ?CD ?PROP))))		 TravelPolicies.kif 112-117 If X is an instance of content development, then there exists Y such that Y is an instance of proposition and X contains information Y
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA1 ?PART1)
        (and
            (instance ?FORMULA1 Formula)
            (containsInformation ?FORMULA1 ?PART1)
            (instance ?PART1 Proposition)
            (subProposition ?PART1 ?T)
            (modalAttribute ?FORMULA1 Obligation))))		 TravelPolicies.kif 463-471 If X is an instance of TravelPolicy, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of obligation
(=>
    (instance ?T TravelPolicy)
    (exists (?FORMULA2 ?PART2)
        (and
            (instance ?FORMULA2 Formula)
            (containsInformation ?FORMULA2 ?PART2)
            (instance ?PART2 Proposition)
            (subProposition ?PART2 ?T)
            (modalAttribute ?FORMULA2 Permission))))		 TravelPolicies.kif 473-481 If X is an instance of TravelPolicy, then there exist Y, Z such that Y is an instance of formula, Y contains information Z, Z is an instance of proposition, Z is a sub-proposition of X, and the statement Y has the modal force of permission


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