containsInformation - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__containsInformation__m,s__ChineseLanguage,'"这是 represents 的子类别。这个术语把 ContentBearingPhysical 和这个 ContentBearingPhysical 所表达的 Proposition 联系起来。它的例子包括一本实体小说和它所讲故事之间的关系，以及一篇总曲谱和的它音乐内容之间的关系。"')	chinese_format.kif 1648-1650
s__documentation(s__containsInformation__m,s__EnglishLanguage,'"A subrelation of represents. This predicate relates a ContentBearingPhysical to the Proposition that is expressed by the ContentBearingPhysical. Examples include the relationships between a physical novel and its story and between a printed score and its musical content."')	Merge.kif 1259-1263
s__domain(s__containsInformation__m,n__1,s__ContentBearingPhysical)	Merge.kif 1256-1256	The number 1 argument of contains information is an instance of content bearing physical
s__domain(s__containsInformation__m,n__2,s__Proposition)	Merge.kif 1257-1257	The number 2 argument of contains information is an instance of proposition
s__instance(s__containsInformation__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 1254-1254	contains information is an instance of asymmetric relation
s__instance(s__containsInformation__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)	Merge.kif 1253-1253	contains information is an instance of binary predicate
s__relatedInternalConcept(s__containsInformation__m,s__containsFormula__m)	Law.kif 23-23	contains information is internally related to contains formula
s__subrelation(s__containsInformation__m,s__represents__m)	Merge.kif 1255-1255	contains information is a subrelation of represents

appearance as argument number 2

s__format(s__ChineseLanguage,s__containsInformation__m,'"%1 %n{doesnt} contains %2 的资料"')	chinese_format.kif 81-81
s__format(s__EnglishLanguage,s__containsInformation__m,'"%1 %n{doesnt} contain%p{s} information %2"')	english_format.kif 81-81
s__relatedInternalConcept(s__ContentBearingObject,s__containsInformation__m)	Merge.kif 1228-1228	Content bearing object is internally related to contains information
s__relatedInternalConcept(s__realization__m,s__containsInformation__m)	Merge.kif 4431-4431	realization is internally related to contains information
s__subrelation(s__accountInformation__m,s__containsInformation__m)	ComputingBrands.kif 4380-4380	account information is a subrelation of contains information
s__subrelation(s__programCopy__m,s__containsInformation__m)	QoSontology.kif 633-633	program copy is a subrelation of contains information
s__termFormat(s__ChineseLanguage,s__containsInformation__m,'"包含信息"')	chinese_format.kif 82-82
s__termFormat(s__ChineseTraditionalLanguage,s__containsInformation__m,'"包含信息"')	domainEnglishFormat.kif 16928-16928
s__termFormat(s__EnglishLanguage,s__containsInformation__m,'"contains information"')	domainEnglishFormat.kif 16927-16927

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
( ! [V__P,V__A,V__C] : (((s__instance(V__P,s__Proposition) & s__instance(V__A,s__Agent) & s__instance(V__A,s__Agreement)) => (((s__instance(V__C,s__Confirming) & s__agent(V__C,V__A) & s__containsInformation(V__C,V__P)) => (( ? [V__S, V__RA, V__A2] : ((s__instance(V__A2,s__Agent) & s__instance(V__A2,s__Agreement) & (s__instance(V__S,s__Stating) & s__earlier(V__S,V__C) & s__instance(V__RA,s__ReachingAgreement) & s__agent(V__S,V__A2) & s__containsInformation(V__RA,V__P) & s__containsInformation(V__S,V__P) & s__partyToAgreement(V__RA,V__A) & s__partyToAgreement(V__RA,V__A2))))))))) ) )	Mid-level-ontology.kif 28065-28079	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 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
( ! [V__DOC,V__PROP] : ((s__instance(V__PROP,s__Proposition) => (((s__instance(V__DOC,s__ContractDocument) & s__containsInformation(V__DOC,V__PROP) & s__property(V__PROP,s__Contract)) => (s__property(V__PROP,s__Law))))) ) )	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
( ! [V__INFO,V__CBO,V__EVENT] : ((s__instance(V__INFO,s__Proposition) => (((s__instance(V__EVENT,s__OperationPlanning) & s__result(V__EVENT,V__CBO) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__INFO)) => (s__instance(V__INFO,s__OperationPlan))))) ) )	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
( ! [V__PLAN,V__CBO,V__EVENT] : ((s__instance(V__EVENT,s__Process) => (((s__instance(V__PLAN,s__OperationPlan) & s__containsInformation(V__CBO,V__PLAN) & s__instance(V__CBO,s__ContentBearingObject) & s__result(V__EVENT,V__CBO)) => (s__instance(V__EVENT,s__OperationPlanning))))) ) )	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
( ! [V__OP,V__PLAN,V__CBO] : (((s__instance(V__PLAN,s__OperationPlan) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PLAN) & s__instance(V__OP,s__MilitaryOperation) & s__result(V__OP,V__CBO)) => (s__represents(V__PLAN,V__OP))) ) )	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
( ! [V__PLAN,V__OBJ] : (((s__instance(V__PLAN,s__Plan) & s__instance(V__OBJ,s__ContentBearingObject) & s__containsInformation(V__OBJ,V__PLAN)) => (( ? [V__PLANNING] : ((s__instance(V__PLANNING,s__Planning) & s__result(V__PLANNING,V__OBJ)))))) ) )	Merge.kif 16020-16028	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
( ! [V__PLANNING,V__INFO,V__CBO] : ((s__instance(V__INFO,s__Proposition) => (((s__instance(V__PLANNING,s__JointOperationPlanning) & s__result(V__PLANNING,V__CBO) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__INFO)) => (s__instance(V__INFO,s__OPLAN))))) ) )	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
( ! [V__CBO,V__COMM,V__PROP] : (((s__instance(V__PROP,s__Proposition) & s__instance(V__CBO,s__ContentBearingObject) & s__containsInformation(V__CBO,V__PROP) & s__instance(V__COMM,s__Communication) & s__patient(V__COMM,V__CBO)) => (s__represents(V__COMM,V__PROP))) ) )	Geography.kif 2906-2913	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 is a part of the organization US military and the agent obligates the organization to perform task of the type the formula
( ! [V__A,V__SF,V__FAST,V__U,V__I,V__SLOW,V__SS] : (((s__instance(V__A,s__Agent) & s__instance(V__FAST,s__RealNumber) & s__instance(V__I,s__Proposition) & s__instance(V__SLOW,s__RealNumber)) => (((s__instance(V__SF,s__SpeakingAtAFasterRate) & s__instance(V__SS,s__SpeakingAtASlowerRate) & s__instance(V__U,s__UnitOfDuration) & s__agent(V__SF,V__A) & s__agent(V__SS,V__A) & s__containsInformation(V__SF,V__I) & s__containsInformation(V__SS,V__I) & s__duration(s__WhenFn(V__SF) ,s__MeasureFn(V__FAST,V__U)) & s__duration(s__WhenFn(V__SS) ,s__MeasureFn(V__SLOW,V__U))) => (s__greaterThan(V__FAST,V__SLOW))))) ) )	emotion.kif 1927-1940	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 2304-2311	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

( ! [V__AGENT,V__ATTR,V__PROP,V__AGREEMENT] : (((s__instance(V__AGENT,s__CognitiveAgent) & s__instance(V__ATTR,s__DeonticAttribute) & s__instance(V__PROP,s__Proposition) & s__instance(V__AGREEMENT,s__Agreement)) => ((s__agreementClause(V__PROP,V__ATTR,V__AGREEMENT,V__AGENT) => ((( ? [V__CLAUSE] : ((s__instance(V__CLAUSE,s__ContentBearingPhysical) & s__containsInformation(V__CLAUSE,V__PROP)))) & s__partyToAgreement(V__AGENT,V__AGREEMENT)))))) ) )	Mid-level-ontology.kif 12653-12658	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 1015-1024	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 16060-16069	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
( ! [V__P,V__A,V__C] : (((s__instance(V__P,s__Proposition) & s__instance(V__A,s__Agent) & s__instance(V__A,s__Agreement)) => (((s__instance(V__C,s__Confirming) & s__agent(V__C,V__A) & s__containsInformation(V__C,V__P)) => (( ? [V__S, V__RA, V__A2] : ((s__instance(V__A2,s__Agent) & s__instance(V__A2,s__Agreement) & (s__instance(V__S,s__Stating) & s__earlier(V__S,V__C) & s__instance(V__RA,s__ReachingAgreement) & s__agent(V__S,V__A2) & s__containsInformation(V__RA,V__P) & s__containsInformation(V__S,V__P) & s__partyToAgreement(V__RA,V__A) & s__partyToAgreement(V__RA,V__A2))))))))) ) )	Mid-level-ontology.kif 28065-28079	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 12082-12094	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
( ! [V__CBO,V__EVENT] : (((s__instance(V__EVENT,s__Planning) & s__result(V__EVENT,V__CBO) & s__instance(V__CBO,s__ContentBearingObject)) => (( ? [V__PLAN] : ((s__instance(V__PLAN,s__Plan) & s__containsInformation(V__CBO,V__PLAN)))))) ) )	Merge.kif 10379-10387	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
( ! [V__P,V__H,V__PROP] : (((s__instance(V__P,s__Agent) & s__instance(V__PROP,s__Proposition) & s__instance(V__PROP,s__Sentence)) => (((s__instance(V__H,s__Hallucination) & s__experiencer(V__H,V__P)) => (( ? [V__PER] : ((s__instance(V__PER,s__Perception) & s__experiencer(V__PER,V__P) & s__causes(V__H,V__PER) & s__containsInformation(V__PER,V__PROP) & s__truth(V__PROP,'$false__m')))))))) ) )	Mid-level-ontology.kif 5971-5981	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 10402-10409	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
( ! [V__PLAN,V__PROC] : (((s__instance(V__PLAN,s__Plan) & s__instance(V__PROC,s__Process) & s__represents(V__PLAN,V__PROC)) => (( ? [V__PLANNING, V__CBO] : ((s__instance(V__PLANNING,s__Planning) & s__instance(V__CBO,s__ContentBearingPhysical) & s__containsInformation(V__CBO,V__PLAN) & s__result(V__PLANNING,V__CBO) & s__earlier(s__BeginFn(s__WhenFn(V__PLANNING)) ,s__BeginFn(s__WhenFn(V__PROC))) & s__earlier(s__EndFn(s__WhenFn(V__PLANNING)) ,s__EndFn(s__WhenFn(V__PROC)))))))) ) )	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 2495-2513	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 2472-2488	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 2449-2465	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
( ! [V__PROP] : (((s__instance(V__PROP,s__Proposition) & s__instance(s__DocumentFn(V__PROP) ,s__Text)) => (( ? [V__DOC] : ((s__instance(V__DOC,s__ContentBearingPhysical) & s__containsInformation(V__DOC,V__PROP)))))) ) )	Geography.kif 2899-2904	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 14751-14763	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 16649-16669	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
( ! [V__Date,V__Statement] : (((s__instance(V__Date,s__Day) & s__instance(V__Statement,s__BankStatement)) => ((s__dateOfStatement(V__Statement,V__Date) => (( ? [V__Copy] : ((s__instance(V__Copy,s__ContentBearingPhysical) & (s__containsInformation(V__Copy,V__Statement) & s__date(V__Copy,V__Date))))))))) ) )	FinancialOntology.kif 3922-3927	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
( ! [V__EXPERIMENT,V__CBP] : (((s__instance(V__EXPERIMENT,s__Experimenting) & s__instance(V__CBP,s__ContentBearingPhysical)) => ((s__finalExperimentReport(V__CBP,V__EXPERIMENT) => (( ? [V__RESULT] : ((s__instance(V__RESULT,s__Proposition) & (s__result(V__EXPERIMENT,V__RESULT) & s__containsInformation(V__CBP,V__RESULT))))))))) ) )	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 12443-12450	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
( ! [V__ARGUE] : ((s__instance(V__ARGUE,s__Arguing) => (( ? [V__STATEMENT, V__ARGUMENT] : ((s__patient(V__ARGUE,V__STATEMENT) & s__instance(V__STATEMENT,s__Statement) & s__containsInformation(V__STATEMENT,V__ARGUMENT) & s__instance(V__ARGUMENT,s__Argument)))))) ) )	Mid-level-ontology.kif 852-859	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
( ! [V__C] : ((s__instance(V__C,s__Correcting) => (( ? [V__D, V__S, V__SP, V__CP] : ((s__instance(V__SP,s__Proposition) & s__instance(V__CP,s__Proposition) & (s__instance(V__D,s__Disagreeing) & s__subProcess(V__C,V__D) & s__instance(V__S,s__Stating) & s__subProcess(V__S,V__D) & s__containsInformation(V__S,V__SP) & s__containsInformation(V__C,V__CP) & s__refers(V__CP,V__SP) & ~(s__consistent(V__CP,V__SP)))))))) ) )	Mid-level-ontology.kif 28117-28129	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

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 1227-1234	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 1078-1089	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 1146-1160	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: