TreeView 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 3437-3451
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3436-3436	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 25131-25131	ADA is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2347-2347	Antiterrorism and effective death penalty act is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2345-2345	Immigration and nationality act- section219-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 2342-2342	Immigration and nationality act-US is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15735-15735	The range of premises is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11593-11593	Agreement is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15667-15667	Argument is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3724-3724	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 20691-20691	Classification scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 634-634	Constitution is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1581-1581	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 15624-15624	Field of study is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5340-5340	Graph is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 5511-5511	Graph element is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2671-2671	Hotel package is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11418-11418	Lyrical content is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1489-1489	Meal plan is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11365-11365	Music is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25472-25472	Policy is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 179-179	Pricing scheme is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15632-15632	Procedure is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 849-849	Regional law is a subclass of proposition
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2871-2871	The number 1 argument of document is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4332-4332	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 685-685	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 11703-11703	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 745-745	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 716-716	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 718-718	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 760-760	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 15751-15751	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 25148-25148	The number 2 argument of conforms is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15759-15759	The number 1 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15760-15760	The number 2 argument of consistent is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1256-1256	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 2929-2929	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 6796-6796	The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Music.kif 1446-1446	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 15727-15727	The number 2 argument of premise is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 165-165	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 4419-4419	The number 2 argument of realization is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2912-2912	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 4454-4454	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 4455-4455	The number 2 argument of sub proposition is an instance of proposition

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28178-28188	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2877-2882	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2884-2891	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 purpose the agent knows the entity
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 278-293	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15823-15829	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 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14313-14318	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 2410-2419	If a physical is an instance of data warehouse, then the physical 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 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

KB Term:			Term intersection

English Word: