containsInformation - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1648-1650
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1319-1323
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1316-1316	The number 1 argument of contains information is an instance of content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1317-1317	The number 2 argument of contains information is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1314-1314	contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1313-1313	contains information is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Law.kif 23-23	contains information is internally related to contains formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1315-1315	contains information is a subrelation of represents

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 81-81
No TPTP formula. May not be expressible in strict first order.	english_format.kif 81-81
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1288-1288	Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4510-4510	realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4372-4372	account information is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 633-633	program copy is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 82-82
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16928-16928
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16927-16927

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 764-770	If a kind of time position is an agreement effective during of a proposition and another time position is an instance of a kind of time position and a formula is an instance of formula and the formula contains information the proposition, then the formula holds during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29051-29065	If a time interval is an instance of Confirming and an agent is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agent2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of ReachingAgreement and the agent2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agent is a party to agreement of the content bearing physical and the agent2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 772-780	If a proposition is an instance of the constitution of a geopolitical area and the geopolitical area is an instance of nation and a government is equal to the government of the geopolitical area and the time of existence of the government is an agreement effective during of the proposition and another proposition is a sub-proposition of the proposition and a formula contains information the other proposition, then the government is obliged to perform tasks of type the formula
No TPTP formula. May not be expressible in strict first order.	Media.kif 995-1000	If a content bearing physical is an instance of ContractDocument and the content bearing physical contains information a proposition and the proposition the attribute contract, then the proposition the attribute law
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1527-1533	If a process is an instance of operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition, then the proposition is an instance of operation plan
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1535-1541	If a proposition is an instance of operation plan and a content bearing physical contains information the proposition and the content bearing physical is an instance of content bearing object and the content bearing physical is a result of a process, then the process is an instance of operation planning
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1573-1580	If a proposition is an instance of operation plan 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 military operation and the content bearing physical is a result of the process, then the proposition expresses the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16533-16541	If a proposition is an instance of plan and a content bearing physical is an instance of content bearing object and the content bearing physical contains information the proposition, then there exists the propositionNING such that the propositionNING is an instance of planning and the content bearing physical is a result of the propositionNING
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1812-1818	If a process is an instance of joint operation planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object and the content bearing physical contains information a proposition, then the proposition is an instance of OPLAN
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2947-2954	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.	emotion.kif 2016-2029	If a process is an instance of speaking at a faster rate and another process is an instance of speaking at a slower rate and an unit of measure is an instance of UnitOfDuration and an agent is an agent of the process and the agent is an agent of the other process and the process contains information a proposition and the other process contains information the proposition and duration of the time of existence of the process is a real number the unit of measure(s) and duration of the time of existence of the other process is another real number the unit of measure(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 2328-2335	If a kind of content bearing object is a subclass of party platform and a cognitive agent is the author of a kind of content bearing object and the cognitive agent is an instance of political party and a content bearing physical is an instance of the kind of content bearing object and the content bearing physical contains information a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 940-949	If a kind of content bearing object is a subclass of joint publication and a content bearing physical is an instance of a kind of content bearing object and the content bearing physical contains information a formula and an agent is the author of the kind of content bearing object, then there exists an organization such that the organization is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4499-4503	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical contains information a proposition, then the content bearing physical contains information the proposition

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13542-13547	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement, then there exists a content bearing physical such that the content bearing physical contains information the proposition and the agreement is a party to agreement of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1026-1035	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age maximum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age maximum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Government.kif 954-963	If a geopolitical area is an instance of geopolitical area and a time duration is a suffrage age minimum of the geopolitical area, then there exists the time durationRULE such that the time durationRULE is an instance of voter age requirement and the time durationRULE is a sub-proposition of the regional law of the geopolitical area and the time duration is a suffrage age minimum of the geopolitical area contains information the time durationRULE
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16573-16582	If an argument is an instance of valid deductive argument and a formula is equal to the premises of argument the argument and the conclusion of argument another formula is the argument, then there exist a content bearing physical and another content bearing physical such that the content bearing physical contains information the formula and the other content bearing physical contains information the other formula and the formula entails the other formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29051-29065	If a time interval is an instance of Confirming and an agent is an agent of the time interval and the time interval contains information a proposition, then there exist another time interval, a content bearing physical and the agent2 such that the other time interval is an instance of stating and the other time interval happens earlier than the time interval and the content bearing physical is an instance of ReachingAgreement and the agent2 is an agent of the other time interval and the content bearing physical contains information the proposition and the other time interval contains information the proposition and the agent is a party to agreement of the content bearing physical and the agent2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12483-12496	If a process is an instance of decoding and a content bearing physical is a patient of the process, then there exist an entity, another content bearing physical,, , a time position and a proposition such that the other content bearing physical contains information the proposition and the content bearing physical contains information the proposition and the time position is a part of before the time of existence of the process and the entity is an instance of encoding and the other content bearing physical is a patient of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10732-10740	If a process is an instance of planning and a content bearing physical is a result of the process and the content bearing physical is an instance of content bearing object, then there exists a proposition such that the proposition is an instance of plan and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6102-6112	If a process is an instance of Hallucination and an agent experiences the process, then there exists the agentER such that the agentER is an instance of perception and the agent experiences the agentER and the process causes the agentER and the agentER contains information the agentROP and the agentROP is false
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10755-10762	If a process is an instance of interpreting and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of content bearing object, then there exists another entity such that the agent believes the entity contains information the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2186-2196	If a process is an instance of decoding and a cognitive agent is an agent of the process, then there exists a formula such that the cognitive agent knows the formula or there exists an object such that the object is an instrument for the process and the object contains information the formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2174-2184	If a process is an instance of encoding and a cognitive agent is an agent of the process, then there exists a formula such that the cognitive agent knows the formula or there exists an object such that the object is an instrument for the process and the object contains information the formula
No TPTP formula. May not be expressible in strict first order.	Military.kif 32-44	If a proposition is an instance of plan and a physical is an instance of process and the proposition expresses the physical, then there exist the propositionNING and a content bearing physical such that the propositionNING is an instance of planning and the content bearing physical is an instance of content bearing physical and the content bearing physical contains information the proposition and the content bearing physical is a result of the propositionNING and the beginning of the time of existence of the propositionNING happens earlier than the beginning of the time of existence of the physical and the end of the time of existence of the propositionNING happens earlier than the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2508-2526	If a policy is an instance of children policy and an organization enacts policy the policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the organization is a customer of the entity and the entity is an instance of human child has the modal force of possibility or the policy contains information the statement there exists another entity such that the organization is a customer of the other entity and the other entity is an instance of human child doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2485-2501	If a policy is an instance of pet policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of domestic animal and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of domestic animal and the other entity is located at the object has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2462-2478	If a policy is an instance of smoking policy and the policy covers an object, then the policy contains information the statement there exists an entity such that the entity is an instance of smoking and the entity is located at the object has the modal force of permission or the policy contains information the statement there exists another entity such that the other entity is an instance of smoking and the other entity is located at the object has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2940-2945	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.	Mid-level-ontology.kif 15672-15684	If a process is an instance of legal summons and a content bearing physical is a patient of the process and the process ends up at an entity, then there exist another entity and a third entity such that the other entity is an instance of court room and the content bearing physical contains information the statement the entity is located at the other entity holds during the third entity has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17609-17629	If an object is an instance of PaperShredder and a process is an instance of cutting and the object is an instrument for the process, then the process has the purpose if an entity is an instance of VisualContentBearingObject and the entity contains information another entity and a third entity is an instance of paper and the entity is located at the third entity, then the third entity is a patient of the process decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of interpreting and the other entity is a patient of the fourth entity and the time of existence of the process happens earlier than the time of existence of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4499-4503	If a content bearing physical subsumes the content of another content bearing physical and the other content bearing physical contains information a proposition, then the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3983-3988	If a day is a date of statement of a bank statement, then there exists a content bearing physical such that the content bearing physical contains information the bank statement and date of the content bearing physical is the day
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2912-2917	If the final report for an experimenting is a content bearing physical, then there exists a proposition such that the proposition is a result of the experimenting and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13332-13339	If a process is an instance of criminal action, then there exist a formula, a proposition and another proposition such that the statement the formula has the modal force of law and the formula contains information the proposition and the process expresses the content of the other proposition and the other proposition is not a consistent of the proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 874-881	If a process is an instance of arguing, then there exist a content bearing physical and a proposition such that the content bearing physical is a patient of the process and the content bearing physical is an instance of statement and the content bearing physical contains information the proposition and the proposition is an instance of argument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1862-1883	If an entity_OFFER is an instance of best offer, then the entity_OFFER contains information there exists another entity such that the other entity is an instance of buying and a third entity is an agent of the other entity and a fourth entity is a patient of the other entity and a fifth entity a sixth entity(s) is a transaction amount of the other entity and there doesn't exist a content bearing physical such that the content bearing physical contains information there exist the other entity2, the third entity2 and a ninth entity such that the other entity2 is an instance of buying and the third entity2 is an agent of the other entity2 and the fourth entity is a patient of the other entity2 and the ninth entity the sixth entity(s) is a transaction amount of the other entity2 and the ninth entity is greater than the fifth entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2806-2815	If a content bearing physical is an instance of business requirement document, then there exist a proposition, a cognitive agent and a formula such that the proposition is an instance of plan and the cognitive agent is an instance of Business and the formula is an instance of process and the proposition expresses the formula and the cognitive agent desires the formula and the content bearing physical contains information the proposition

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 1238-1245	For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING if ?ELECTION is an instance of the election of ?AGENT and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then male is an attribute of ?VOTER contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	Government.kif 920-928	For all ?COUNTRY, ?ELECTION,, , ?VOTING and ?VOTER if ?COUNTRY is an instance of nation and ?ELECTION is an instance of the election of ?COUNTRY and ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING, then ?VOTER is a citizen of ?COUNTRY contains information voter citizenship requirement
No TPTP formula. May not be expressible in strict first order.	Government.kif 1089-1100	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then ?AGENT is capable of doing the voting of ?ELECTION as a agent contains information universal suffrage law
No TPTP formula. May not be expressible in strict first order.	Government.kif 1157-1171	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE year duration(s) is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE year duration(s) and ?AGE is greater than or equal to ?VOTINGAGE and ?ELECTION is an instance of the election of ?POLITY, then there exists ?VOTING such that ?VOTING is an instance of the voting of ?ELECTION and ?VOTER is an agent of ?VOTING contains information compulsory suffrage law

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: