TreeView Knowledge Base Browser - containsInformation

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 1254-1258
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1251-1251	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 1252-1252	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 1249-1249	contains information is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1248-1248	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 1250-1250	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 1223-1223	Content bearing object is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4414-4414	realization is internally related to contains information
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4329-4329	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 16860-16860
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16859-16859

antecedent

No TPTP formula. May not be expressible in strict first order.	Government.kif 753-759	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 27841-27855	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 761-769	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 geopolitical area の government 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 1508-1514	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 1516-1522	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 1554-1561	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 15623-15631	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 1793-1799	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 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 940-948	If a kind of content bearing object is an instance of joint publication and a kind of content bearing object 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 は組織 US military の一部では %n 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.	emotion.kif 1920-1930	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 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 time duration and duration of the time of existence of the other process is another time duration, then the time duration is greater than the other time duration
No TPTP formula. May not be expressible in strict first order.	Government.kif 2272-2279	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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11706-11711	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 1007-1016	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 943-952	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 15663-15672	If an argument is an instance of valid deductive argument and a formula is equal to 引数 the argument の premises 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 27841-27855	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 11788-11800	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 and a time position such that the other content bearing physical contains information a 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 10126-10134	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.	Merge.kif 10149-10156	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 2187-2197	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 2175-2185	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 2481-2499	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 2458-2474	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 2435-2451	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 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.	Mid-level-ontology.kif 13899-13911	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 15918-15938	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 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.	FinancialOntology.kif 3874-3879	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 2907-2912	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 11497-11504	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 1297-1304	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 2801-2810	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27893-27905	If a process is an instance of Correcting, then there exist another process, a third process,, , the third processP and the processP such that the other process is an instance of disagreeing and the process is a subprocess of the other process and the third process is an instance of stating and the third process is a subprocess of the other process and the third process contains information the third processP and the process contains information the processP and the processP includes a reference to the third processP and the third processP is not a consistent of the processP
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13648-13662	If a collection is an instance of dramatic cast, then there exist a content bearing physical, a proposition and a process such that the content bearing physical is an instance of fictional text and the content bearing physical contains information the proposition and the process expresses the content of the proposition and for all an agent if the agent is a member of the collection, then there exists another process such that the other process is an instance of dramatic acting and the agent is an agent of the other process and the other process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1604-1609	If a proposition is an instance of CONPLAN with TPFDD, then there exists a content bearing physical such that the content bearing physical is an instance of TPFDD file 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 1195-1202	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 909-917	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 1062-1071	For all ?POLITY, ?AGENT,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?AGENT is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?AGENT is ?AGE 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 1122-1134	For all ?POLITY, ?VOTER,, , ?ELECTION,, , ?VOTINGAGE and ?AGE if ?VOTER is a citizen of ?POLITY and ?VOTINGAGE is a suffrage age minimum of ?POLITY and the age of ?VOTER is ?AGE 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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: