Proposition - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__Proposition,s__ChineseLanguage,'"Proposition 是 Abstract 实体，它表达一个完整的意思或是一套想法。例如：公式 (instance Yojo Cat) 表达 Proposition 为那个叫佑舟的实体是猫 Class 的一个元素。注：命题限于由 Language 的个别句子所表达的内容，这可以包括由理论、书本和甚至整个图书馆所表达的内容。千万要区别 Proposition 和表达命题的 ContentBearingObject ， Proposition 实一个信息，例如说猫在地毯上；但是 ContentBearingObject 是一个表达该信息的 Object。 Proposition 可以有多个描述的抽象概念：字符串、声音和图标等。例如：猫在地毯上这个 Proposition 在这里是以显示器上或者是打印在纸上的一串图形字符来表示，但是它也可以由一系列的声音或者是某些非拉丁字母或是某些加密形式来表示。"')

chinese_format.kif 2031-2038

s__documentation(s__Proposition,s__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 3445-3459

s__instance(s__Proposition,s__SetOrClass)

s__subclass(s__Proposition,s__Abstract)

s__instance(s__Abstract,s__SetOrClass)

Merge.kif 3444-3444

Proposition is a subclass of abstract

appearance as argument number 2

s__instance(s__Proposition,s__SetOrClass) s__instance(s__AmericansWithDisabilitiesAct,s__Proposition)	Mid-level-ontology.kif 25582-25582	ADA is an instance of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__AntiterrorismAndEffectiveDeathPenaltyAct,s__Proposition)	Government.kif 2387-2387	Antiterrorism and effective death penalty act is an instance of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__ImmigrationAndNationalityAct_Section219_US,s__Proposition)	Government.kif 2385-2385	Immigration and nationality act- section219-US is an instance of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__ImmigrationAndNationalityAct_US,s__Proposition)	Government.kif 2382-2382	Immigration and nationality act-US is an instance of proposition
s__range(s__PremisesFn__m,s__Proposition)	Merge.kif 16098-16098	The range of premises is an instance of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__Agreement,s__SetOrClass) s__subclass(s__Agreement,s__Proposition)	Mid-level-ontology.kif 12807-12807	Agreement is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__Argument,s__SetOrClass) s__subclass(s__Argument,s__Proposition)	Merge.kif 16030-16030	Argument is a subclass of proposition
s__instance(s__BankStatement,s__SetOrClass) s__instance(s__Proposition,s__SetOrClass) s__subclass(s__BankStatement,s__Proposition)	FinancialOntology.kif 3793-3793	Bank statement is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__Catalog,s__SetOrClass) s__subclass(s__Catalog,s__Proposition)	Catalog.kif 31-31	Catalog is a subclass of proposition
s__subclass(s__ClassificationScheme,s__Proposition) s__instance(s__Proposition,s__SetOrClass) s__instance(s__ClassificationScheme,s__SetOrClass)	Mid-level-ontology.kif 21513-21513	Classification scheme is a subclass of proposition
s__subclass(s__Constitution,s__Proposition) s__instance(s__Proposition,s__SetOrClass) s__instance(s__Constitution,s__SetOrClass)	Government.kif 634-634	Constitution is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__EconomicIndicator,s__Proposition) s__instance(s__EconomicIndicator,s__SetOrClass)	FinancialOntology.kif 1594-1594	Economic indicator is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__Equation,s__Proposition) s__instance(s__Equation,s__SetOrClass)	engineering.kif 149-149	Equation is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__FieldOfStudy,s__Proposition) s__instance(s__FieldOfStudy,s__SetOrClass)	Merge.kif 15987-15987	Field of study is a subclass of proposition
s__subclass(s__Graph,s__Proposition) s__instance(s__Proposition,s__SetOrClass) s__instance(s__Graph,s__SetOrClass)	Merge.kif 5384-5384	Graph is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__GraphElement,s__SetOrClass) s__subclass(s__GraphElement,s__Proposition)	Merge.kif 5555-5555	Graph element is a subclass of proposition
s__subclass(s__HotelPackage,s__Proposition) s__instance(s__HotelPackage,s__SetOrClass) s__instance(s__Proposition,s__SetOrClass)	Hotel.kif 2685-2685	Hotel package is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__LyricalContent,s__Proposition) s__instance(s__LyricalContent,s__SetOrClass)	Mid-level-ontology.kif 12636-12636	Lyrical content is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__MealPlan,s__Proposition) s__instance(s__MealPlan,s__SetOrClass)	Hotel.kif 1503-1503	Meal plan is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__Music,s__Proposition) s__instance(s__Music,s__SetOrClass)	Mid-level-ontology.kif 12583-12583	Music is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__instance(s__Policy,s__SetOrClass) s__subclass(s__Policy,s__Proposition)	Mid-level-ontology.kif 25876-25876	Policy is a subclass of proposition
s__subclass(s__PricingScheme,s__Proposition) s__instance(s__Proposition,s__SetOrClass) s__instance(s__PricingScheme,s__SetOrClass)	Catalog.kif 179-179	Pricing scheme is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__Procedure,s__Proposition) s__instance(s__Procedure,s__SetOrClass)	Merge.kif 15995-15995	Procedure is a subclass of proposition
s__instance(s__Proposition,s__SetOrClass) s__subclass(s__RegionalLaw,s__Proposition) s__instance(s__RegionalLaw,s__SetOrClass)	Government.kif 849-849	Regional law is a subclass of proposition
s__subclass(s__ScientificLaw,s__Proposition) s__instance(s__Proposition,s__SetOrClass) s__instance(s__ScientificLaw,s__SetOrClass)	engineering.kif 1239-1239	Scientific law 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

s__domain(s__DocumentFn__m,n__1,s__Proposition)	Geography.kif 2893-2893	The number 1 argument of document is an instance of proposition
s__domain(s__accountInformation__m,n__2,s__Proposition)	ComputingBrands.kif 4383-4383	The number 2 argument of account information is an instance of proposition
s__domain(s__agreementAdoptionDate__m,n__1,s__Proposition)	Government.kif 685-685	The number 1 argument of agreement adoption date is an instance of proposition
s__domain(s__agreementClause__m,n__1,s__Proposition)	Mid-level-ontology.kif 12917-12917	The number 1 argument of agreement clause is an instance of proposition
s__domain(s__agreementEffectiveDuring__m,n__1,s__Proposition)	Government.kif 745-745	The number 1 argument of agreement effective during is an instance of proposition
s__domain(s__agreementRevisionDate__m,n__1,s__Proposition)	Government.kif 716-716	The number 1 argument of agreement revision date is an instance of proposition
s__domain(s__agreementRevisionDate__m,n__3,s__Proposition)	Government.kif 718-718	The number 3 argument of agreement revision date is an instance of proposition
s__domain(s__capacityByArrangement__m,n__2,s__Proposition)	Hotel.kif 766-766	The number 2 argument of capacity by arrangement is an instance of proposition
s__domain(s__conclusion__m,n__2,s__Proposition)	Merge.kif 16114-16114	The number 2 argument of conclusion is an instance of proposition
s__domain(s__conforms__m,n__2,s__Proposition)	Mid-level-ontology.kif 25599-25599	The number 2 argument of conforms is an instance of proposition
s__domain(s__consistent__m,n__1,s__Proposition)	Merge.kif 16122-16122	The number 1 argument of consistent is an instance of proposition
s__domain(s__consistent__m,n__2,s__Proposition)	Merge.kif 16123-16123	The number 2 argument of consistent is an instance of proposition
s__domain(s__containsInformation__m,n__2,s__Proposition)	Merge.kif 1257-1257	The number 2 argument of contains information is an instance of proposition
s__domain(s__dateOpenedForSignature__m,n__1,s__Proposition)	Geography.kif 2951-2951	The number 1 argument of date opened for signature is an instance of proposition
s__domain(s__insured__m,n__1,s__Proposition)	Mid-level-ontology.kif 6703-6703	The number 1 argument of insured is an instance of proposition
s__domain(s__originalExpressedInLanguage__m,n__1,s__Proposition)	Music.kif 1446-1446	The number 1 argument of original expressed in language is an instance of proposition
s__domain(s__premise__m,n__2,s__Proposition)	Merge.kif 16090-16090	The number 2 argument of premise is an instance of proposition
s__domain(s__propositionOwner__m,n__2,s__Proposition)	Catalog.kif 165-165	The number 2 argument of proposition owner is an instance of proposition
s__domain(s__realization__m,n__2,s__Proposition)	Merge.kif 4429-4429	The number 2 argument of realization is an instance of proposition
s__domain(s__reservedPackage__m,n__2,s__Proposition)	Hotel.kif 2926-2926	The number 2 argument of reserved package is an instance of proposition
s__domain(s__subProposition__m,n__1,s__Proposition)	Merge.kif 4464-4464	The number 1 argument of sub proposition is an instance of proposition
s__domain(s__subProposition__m,n__2,s__Proposition)	Merge.kif 4465-4465	The number 2 argument of sub proposition is an instance of proposition

appearance as argument number 5

s__disjointDecomposition__6(s__Abstract,s__Quantity,s__Attribute,s__Relation,s__Proposition,s__List)

Merge.kif 1580-1580

Abstract is disjointly decomposed into quantity, attribute, relation, proposition, and list

antecedent

( ! [V__AGENT,V__CUST,V__ITEM] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__CUST,s__CognitiveAgent)) => (((s__buys(V__CUST,V__AGENT,V__ITEM) & s__instance(V__ITEM,s__Proposition)) => (( ? [V__TRANS, V__PROC] : ((s__instance(V__PROC,s__Process) & (s__agent(V__TRANS,V__CUST) & s__realization(V__PROC,V__ITEM) & s__instance(V__TRANS,s__Buying) & s__patient(V__TRANS,V__PROC) & s__origin(V__TRANS,V__AGENT))))))))) ) )	Mid-level-ontology.kif 28679-28689	If a cognitive agent buys a proposition from another cognitive agent and the proposition is an instance of proposition, then there exist a process and another process such that the cognitive agent is an agent of the process and the other process expresses the content of the proposition and the process is an instance of buying and the other process is a patient of the process and the process originates at the other cognitive agent
( ! [V__AGENT,V__CREATE,V__PROP] : ((s__instance(V__AGENT,s__CognitiveAgent) => (((s__instance(V__CREATE,s__Creation) & s__result(V__CREATE,V__PROP) & s__instance(V__PROP,s__Proposition) & s__agent(V__CREATE,V__AGENT)) => (s__propositionOwner(V__AGENT,V__PROP))))) ) )	Catalog.kif 167-173	If a process is an instance of creation and a proposition is a result of the process and the proposition is an instance of proposition and a cognitive agent is an agent of the process, then the cognitive agent authored the proposition
( ! [V__PROP] : (((s__instance(V__PROP,s__Proposition) & s__instance(s__DocumentFn(V__PROP) ,s__Text)) => (( ? [V__DOC] : ((s__instance(V__DOC,s__ContentBearingPhysical) & s__containsInformation(V__DOC,V__PROP)))))) ) )	Geography.kif 2899-2904	If a proposition is an instance of proposition and the document of the proposition is an instance of text, then there exists a content bearing physical such that the content bearing physical contains information the proposition
( ! [V__CBO,V__COMM,V__PROP] : (((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__COMM,s__Communication) & s__patient(V__COMM,V__CBO)) => (s__represents(V__COMM,V__PROP))) ) )	Geography.kif 2906-2913	If a proposition is an instance of proposition and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition and a process is an instance of communication and the content bearing physical is a patient of the process, then the process expresses the proposition
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	If a process is an instance of reconnaissance operation and an agent is an agent of the process and an entity is an instance of proposition, then the process has the purpose the agent knows the entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 284-299	If the price negotiated for a kind of entity in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent and a kind of entity is a subclass of proposition, then the statement if another entity is an immediate instance of the kind of entity and a third entity expresses the content of the other entity and a fourth entity is an instance of selling and the third entity is a patient of the fourth entity and the cognitive agent is an agent of the fourth entity and the fourth entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the fourth entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 64-75	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity and a third entity such that the third entity expresses the content of the kind of entity and the other entity is an instance of selling and the third entity is a patient of the other entity and the agent is an agent of the other entity has the modal force of possibility

consequent

( ! [V__ITEM,V__VALUE] : (((s__property(V__ITEM,V__VALUE) & s__instance(V__VALUE,s__TruthValue)) => ((s__instance(V__ITEM,s__Sentence) \| s__instance(V__ITEM,s__Proposition)))) ) )	Merge.kif 16186-16192	If an entity the attribute an attribute and the attribute is an instance of truth value, then the entity is an instance of sentence or the entity is an instance of proposition
( ! [V__P,V__LA,V__PROP] : (((s__instance(V__P,s__Physical) & s__instance(V__LA,s__LegalAction) & s__instance(V__PROP,s__Proposition)) => ((s__evidence(V__LA,V__P) => (( ? [V__A] : ((s__instance(V__PROP,s__Proposition) & s__instance(V__A,s__Argument) & s__refers(V__A,V__LA) & s__represents(V__PROP,V__P) & s__premise(V__A,V__PROP)))))))) ) )	Law.kif 223-231	If a physical is evidence in a legal action, then there exists an argument such that the physicalROP is an instance of proposition and the argument is an instance of argument and the argument includes a reference to the legal action and the physicalROP expresses the physical and the physicalROP is a premise of the argument
No TPTP formula. May not be expressible in strict first order.	Government.kif 640-648	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Government.kif 650-658	If a proposition is an instance of constitution, then there exist a formula and another proposition such that the formula is an instance of formula and the formula contains information the other proposition and the other proposition is an instance of proposition and the other proposition is a sub-proposition of the proposition and the statement the formula has the modal force of permission
( ! [V__SENT] : ((s__instance(V__SENT,s__Sentence) => (( ? [V__PROP] : ((s__instance(V__PROP,s__Proposition) & s__containsInformation(V__SENT,V__PROP)))))) ) )	Merge.kif 14676-14681	If a content bearing physical is an instance of sentence, then there exists a proposition such that the proposition is an instance of proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2413-2422	If a physical is an instance of data warehouse, then the physical has the purpose there exists an entity such that the entity is an instance of proposition and for all another entity the other entity includes a reference to the entity and the other entity is a component of the physical

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

KB Term:			Term intersection

English Word: