Proposition - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2031-2038
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3551-3565
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 673-682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3550-3550	Proposition is a subclass of abstract

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28558-28558	ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3140-3140	ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2368-2368	Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2366-2366	Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2363-2363	Immigration and nationality act_US is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15338-15338	Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16938-16938	Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3896-3896	Bank statement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 31-31	Catalog is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24422-24422	Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 611-611	Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1653-1653	Economic indicator is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	engineering.kif 149-149	Equation is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16895-16895	Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5613-5613	Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5810-5810	Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2725-2725	Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15167-15167	Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1541-1541	Meal plan is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	engineering.kif 68-68	Model is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1579-1579	Multipole postulate is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15114-15114	Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28832-28832	Policy is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 184-184	Pricing scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16903-16903	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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 3000-3000	The number 1 argument of document is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4412-4412	The number 2 argument of account information is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 661-661	The number 1 argument of agreement adoption date is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15448-15448	The number 1 argument of agreement clause is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 720-720	The number 1 argument of agreement effective during is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 692-692	The number 1 argument of agreement revision date is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 694-694	The number 3 argument of agreement revision date is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 787-787	The number 2 argument of capacity by arrangement is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17022-17022	The number 2 argument of conclusion is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28575-28575	The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17030-17030	The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17031-17031	The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1351-1351	The number 2 argument of contains information is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3058-3058	The number 1 argument of date opened for signature is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8324-8324	The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Music.kif 1454-1454	The number 1 argument of original expressed in language is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16998-16998	The number 2 argument of premise is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 170-170	The number 2 argument of proposition owner is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4592-4592	The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2971-2971	The number 2 argument of reserved package is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4631-4631	The number 1 argument of sub proposition is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4632-4632	The number 2 argument of sub proposition is an instance of proposition

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 1663-1663

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

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31612-31622	If a cognitive agent buys a proposition from an 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 agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 172-178	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3013-3020	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.	Geography.kif 3006-3011	If a proposition is an instance of proposition and another proposition is an instance of the document of the proposition, then there exists a content bearing physical such that the content bearing physical contains information the other 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 64-76	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, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17099-17105	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
No TPTP formula. May not be expressible in strict first order.	Law.kif 180-188	If a physical is evidence in a legal action, then there exist an argument and the physicalROP 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 617-625	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 627-635	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15551-15556	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 2204-2213	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
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2072-2082	If a physical is an instance of part inspection, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of self connected object and the entity is a patient of the physical and the other entity is an instance of proposition and the other entity includes a reference to the entity and the statement the entity conforms to the other entity has the modal force of necessity

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: