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 1360-1364
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 234-236
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 276-279
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1357-1357	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 1358-1358	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 1355-1355	contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1354-1354	contains information is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1369-1369	contains information is internally related to contains formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1356-1356	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.	french_format.kif 65-65
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 57-57
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1889-1889
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 17-17
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 71-71
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 92-92
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 98-98
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 84-84
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 64-64
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 130-130
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1329-1329	Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4600-4600	realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4409-4409	account information is a subrelation of contains information
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 635-635	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 16937-16937
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16936-16936
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 25-25

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26261-26272	A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	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 29556-29570	If a time interval is an instance of confirming and an agreement 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 agreement2 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 reaching agreement and the agreement2 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 agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Government.kif 774-783	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 instance of a kind of time position and a kind of time position 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 contract document 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 16772-16780	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 3025-3032	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 unit of duration 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.	Mid-level-ontology.kif 26231-26247	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
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 4589-4593	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 26261-26272	A process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition if and only if there exist another content bearing physical and another proposition such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the other proposition and the proposition is equal to the other proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14044-14049	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 1029-1038	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 957-966	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 16812-16821	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 29556-29570	If a time interval is an instance of confirming and an agreement 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 agreement2 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 reaching agreement and the agreement2 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 agreement is a party to agreement of the content bearing physical and the agreement2 is a party to agreement of the content bearing physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12685-12698	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 10840-10848	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 6401-6411	If a process is an instance of hallucination and an agent experiences the process, then there exist the agentER and the agentROP 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 10863-10870	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 2181-2191	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 2169-2179	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 2535-2553	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 2512-2528	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 2489-2505	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 3018-3023	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.	Mid-level-ontology.kif 16199-16211	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 26231-26247	If an object is an instance of photocopier and the object is an instrument for a process and the process is an instance of photocopying and a content bearing physical is a patient of the process and the content bearing physical is an instance of two dimensional object and the content bearing physical is an instance of visual content bearing object and the content bearing physical contains information a proposition, then there exist another content bearing physical and another object such that the other content bearing physical is a result of the process and the other content bearing physical is an instance of two dimensional object and the other content bearing physical is an instance of visual content bearing object and the other content bearing physical contains information the proposition and the other content bearing physical is located at the other object and the other object is an instance of printed sheet
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4589-4593	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 4031-4036	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 2710-2715	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 13834-13841	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 881-888	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 1662-1683	If an entity_OFFER is an instance of best offer, then the entity_OFFER contains information there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of buying and the third entity is an agent of the other entity and the fourth entity is a patient of the other entity and the fifth entity the 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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

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

Mid-level-ontology.kif 18151-18168

There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Government.kif 1241-1248	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 923-931	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 1092-1103	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 1160-1174	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: