TreeView Knowledge Base Browser

appearance as argument number 1

s__documentation(s__causes__m,s__ChineseLanguage,'"这是 Process 实例之间的因果关系， (causes ?PROCESS1 ?PROCESS2)的意思是 Process ?PROCESS1 的实例引起 Process ?PROCESS2 的实例。"')	chinese_format.kif 2065-2067
s__documentation(s__causes__m,s__EnglishLanguage,'"The causation relation between instances of Process.(causes ?PROCESS1 ?PROCESS2) means that the instance of Process ?PROCESS1 brings about the instance of Process ?PROCESS2."')	Merge.kif 3688-3690
s__domain(s__causes__m,n__1,s__Process)	Merge.kif 3683-3683	The number 1 argument of causes is an instance of process
s__domain(s__causes__m,n__2,s__Process)	Merge.kif 3684-3684	The number 2 argument of causes is an instance of process
s__instance(s__causes__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 3682-3682	causes is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__causes__m,s__BinaryPredicate)	Merge.kif 3681-3681	causes is an instance of binary predicate
s__relatedInternalConcept(s__causes__m,s__causesSubclass__m)	Merge.kif 3685-3685	causes is internally related to causes subclass

appearance as argument number 2

s__format(s__ChineseLanguage,s__causes__m,'"%1 %n{doesnt} causes %2"')	chinese_format.kif 71-71
s__format(s__EnglishLanguage,s__causes__m,'"%1 %n{doesnt} cause%p{s} %2"')	english_format.kif 71-71
s__termFormat(s__ChineseLanguage,s__causes__m,'"原因"')	domainEnglishFormat.kif 13503-13503
s__termFormat(s__ChineseLanguage,s__causes__m,'"引起"')	chinese_format.kif 72-72
s__termFormat(s__ChineseTraditionalLanguage,s__causes__m,'"原因"')	domainEnglishFormat.kif 13502-13502
s__termFormat(s__EnglishLanguage,s__causes__m,'"causes"')	domainEnglishFormat.kif 13501-13501

antecedent

( ! [V__Account,V__Withdrawal] : ((((s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,s__CurrencyFn(V__Account)) & ~(( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account)) & s__causes(V__Withdrawal,V__Penalty)))))) => s__liquidity(V__Account,s__HighLiquidity)) & (s__liquidity(V__Account,s__HighLiquidity) => (s__instance(V__Withdrawal,s__Withdrawal) & s__instance(V__Account,s__FinancialAccount) & s__origin(V__Withdrawal,s__CurrencyFn(V__Account)) & ~(( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account)) & s__causes(V__Withdrawal,V__Penalty)))))))) ) )	FinancialOntology.kif 1788-1798	A process is an instance of withdrawal and a financial account is an instance of financial account and the process originates at the currency of the financial account and there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process if and only if the liqudity of the financial account is high liquidity
( ! [V__Agent,V__Activity,V__ATIncome] : (((s__instance(V__Agent,s__Human) & s__instance(V__Activity,s__OrganizationalProcess) & s__instance(V__ATIncome,s__Number) & s__instance(V__ATIncome,s__CurrencyMeasure)) => (((( ? [V__Income, V__Tax, V__TaxAmount] : ((s__instance(V__Income,s__Number) & s__instance(V__Income,s__CurrencyMeasure) & s__instance(V__Tax,s__ChargingAFee) & s__instance(V__TaxAmount,s__Number) & s__instance(V__TaxAmount,s__CurrencyMeasure) & (s__incomeEarned(V__Agent,V__Income,V__Activity) & s__amountCharged(V__Tax,V__TaxAmount) & s__causes(V__Activity,V__Tax) & (V__ATIncome = s__SubtractionFn(V__Income,V__TaxAmount)))))) => s__afterTaxIncome(V__Agent,V__ATIncome,V__Activity)) & (s__afterTaxIncome(V__Agent,V__ATIncome,V__Activity) => ( ? [V__Income, V__Tax, V__TaxAmount] : ((s__instance(V__Income,s__Number) & s__instance(V__Income,s__CurrencyMeasure) & s__instance(V__Tax,s__ChargingAFee) & s__instance(V__TaxAmount,s__Number) & s__instance(V__TaxAmount,s__CurrencyMeasure) & (s__incomeEarned(V__Agent,V__Income,V__Activity) & s__amountCharged(V__Tax,V__TaxAmount) & s__causes(V__Activity,V__Tax) & (V__ATIncome = s__SubtractionFn(V__Income,V__TaxAmount)))))))))) ) )	FinancialOntology.kif 3292-3299	There exist a number, a chargingA fee and the chargingA feeAmount such that a human is income earned the number for an organizational process and the chargingA feeAmount is the amount charged in the chargingA fee and the organizational process causes the chargingA fee and a third number is equal to (the number and the chargingA feeAmount) if and only if the after tax income derived by the human from the organizational process is the third number
( ! [V__A,V__OTHER_A,V__THIS_A,V__MISSION,V__ABORTED,V__ACTION] : (((s__instance(V__A,s__Agent) & s__instance(V__OTHER_A,s__Agent) & s__instance(V__THIS_A,s__Agent) & s__instance(V__MISSION,s__MilitaryOperation) & s__instance(V__ABORTED,s__Process) & s__instance(V__ACTION,s__Process)) => (((s__instance(V__ABORTED,s__AbortedMissionFn(V__A,V__MISSION)) & s__causes(V__ACTION,V__ABORTED) & s__agent(V__ACTION,V__OTHER_A) & s__agent(V__MISSION,V__THIS_A)) => (~(s__enemy(V__OTHER_A,V__THIS_A)))))) ) )	MilitaryProcesses.kif 2420-2425	If a process is an instance of the mission of a military operation aborted by an agent and the agentCTION causes the process and an entity_A is an agent of the agentCTION and another entity_A is an agent of the military operation, then the entity_A and the other entity_A are not enemies of each other
( ! [V__Authorization,V__Card,V__Transaction] : (((s__instance(V__Authorization,s__AuthorizationOfTransaction) & s__instance(V__Transaction,s__FinancialTransaction) & s__instance(V__Card,s__BankCard) & s__instrument(V__Transaction,V__Card) & s__causes(V__Authorization,V__Transaction)) => (s__instance(V__Card,s__ValidCard))) ) )	FinancialOntology.kif 3477-3484	If a process is an instance of authorization of transaction and another process is an instance of financial transaction and an object is an instance of bank card and the object is an instrument for the other process and the process causes the other process, then the object is an instance of valid card
( ! [V__CHECKIN,V__CHECKOUT,V__SERVICE] : ((s__instance(V__SERVICE,s__Process) => (((s__instance(V__CHECKIN,s__CheckInService) & s__causes(V__CHECKIN,V__SERVICE) & s__instance(V__CHECKOUT,s__CheckOutService)) => (s__finishes(s__WhenFn(V__CHECKOUT) ,s__WhenFn(V__SERVICE)))))) ) )	Hotel.kif 2169-2176	If a process is an instance of check-in service and the process causes another process and a physical is an instance of check-out service, then the time of existence of the physical finishes the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 777-792	If a process is an instance of motion and another process is an instance of tremor and an object is an instance of damper and another object is a patient of the other process and the object is a part of the other object and the process causes the other process and an entity is an instance of UnitOfLength and the amplitude the other process is a quantity the entity(s) holds during the time of existence of the process and the amplitude the other process is another quantity the entity(s) holds during immediately after the process, then the quantity is greater than the other quantity
( ! [V__A,V__R,V__DIR2,V__DIR1,V__RO1,V__RO2] : (((s__instance(V__R,s__Ratchet) & s__instance(V__A,s__AttachingDevice) & s__instance(V__RO1,s__Rotating) & s__attribute(V__RO1,V__DIR1) & s__instance(V__RO2,s__Rotating) & s__attribute(V__RO2,V__DIR2) & s__instance(V__DIR1,s__RotationalAttribute) & s__instance(V__DIR2,s__RotationalAttribute) & ~((V__RO1 = V__RO2)) & s__causes(V__RO1,V__RO2) & s__patient(V__RO1,s__Ratchet) & s__patient(V__RO2,V__A)) => ((V__DIR1 = V__DIR2))) ) )	Cars.kif 4930-4945	If an entity is an instance of Ratchet and another entity is an instance of attaching device and the entityO1 is an instance of rotating and an attribute is an attribute of the entityO1 and the entityO2 is an instance of rotating and another attribute is an attribute of the entityO2 and the attribute is an instance of RotationalAttribute and the other attribute is an instance of RotationalAttribute and the entityO1 is not equal to the entityO2 and the entityO1 causes the entityO2 and Ratchet is a patient of the entityO1 and the other entity is a patient of the entityO2, then the attribute is equal to the other attribute
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2114-2133	If an entity is an instance of shaft and another entity is an instance of shaft and the entity is not equal to the other entity and an engineering component is an instance of rotating and the entity is a patient of the engineering component and another engineering component is an instance of rotating and the other entity is a patient of the other engineering component and the engineering component causes the other engineering component and a third engineering component is an instance of C.V. joint and the engineering component is connected to the third engineering component and the other engineering component is connected to the third engineering component and the entity is equal to the rotation of a third entity during a fourth entity holds during the time of existence of the engineering component, then the other entity is equal to the rotation of the third entity during the fourth entity holds during the time of existence of the other engineering component
( ! [V__P1,V__P2] : (((s__instance(V__P1,s__Process) & s__instance(V__P2,s__Process)) => ((s__causes(V__P1,V__P2) => (s__earlier(s__WhenFn(V__P1) ,s__WhenFn(V__P2)))))) ) )	Merge.kif 3700-3702	If a process causes another process, then the time of existence of the process happens earlier than the time of existence of the other process
( ! [V__P1,V__P2] : (((s__instance(V__P1,s__Process) & s__instance(V__P2,s__Process)) => ((s__causes(V__P1,V__P2) => (s__relatedEvent(V__P1,V__P2))))) ) )	Merge.kif 3692-3694	If a process causes another process, then the other process is a related event of the process

consequent

( ! [V__P] : ((s__instance(V__P,s__Process) => (((s__manner(V__P,s__Harmless) => (~(s__instance(V__P,s__Damaging)) & ~(( ? [V__P2] : ((s__instance(V__P2,s__Damaging) & s__subProcess(V__P2,V__P))))) & ~(( ? [V__P2] : ((s__instance(V__P2,s__Damaging) & s__causes(V__P,V__P2))))))) & ((~(s__instance(V__P,s__Damaging)) & ~(( ? [V__P2] : ((s__instance(V__P2,s__Damaging) & s__subProcess(V__P2,V__P))))) & ~(( ? [V__P2] : ((s__instance(V__P2,s__Damaging) & s__causes(V__P,V__P2)))))) => s__manner(V__P,s__Harmless))))) ) )	Mid-level-ontology.kif 29343-29357	A process is performed in the manner Harmless if and only if the process is not an instance of damaging and there doesn't exist the process2 such that the process2 is an instance of damaging and the process2 is a subprocess of the process and there doesn't exist the process2 such that the process2 is an instance of damaging and the process causes the process2
( ! [V__AS,V__C,V__F,V__H] : ((s__instance(V__F,s__Object) => (((s__instance(V__AS,s__AutomobileShock) & s__instance(V__C,s__Compressing) & s__instance(V__H,s__Hole) & s__attribute(V__F,s__Fluid) & (V__AS = s__HoleHostFn(V__H)) & s__contains(V__AS,V__F) & s__patient(V__C,V__AS)) => (( ? [V__T] : ((s__instance(V__T,s__Transfer) & s__objectTransferred(V__T,V__F) & s__path(V__T,V__H) & s__causes(V__C,V__T)))))))) ) )	Cars.kif 871-885	If a self connected object is an instance of shock and a process is an instance of compressing and a hole is an instance of hole and fluid is an attribute of an object and the self connected object is equal to the host of the hole the hole and the self connected object contains the object and the self connected object is a patient of the process, then there exists a transfer such that the transfer is an instance of transfer and the object transferred in the transfer is the object and the hole is path along which the transfer occurs and the process causes the transfer
( ! [V__Account,V__Withdrawal] : (((s__instance(V__Account,s__TraditionalSavingsAccount) & s__instance(V__Withdrawal,s__Withdrawal) & s__origin(V__Withdrawal,s__CurrencyFn(V__Account))) => (~(( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__Account)) & s__causes(V__Withdrawal,V__Penalty))))))) ) )	FinancialOntology.kif 1069-1078	If a financial account is an instance of traditional savings account and a process is an instance of withdrawal and the process originates at the currency of the financial account, then there doesn't exist another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
( ! [V__B,V__I] : (((s__instance(V__B,s__Bell) & s__instance(V__I,s__Impacting) & s__destination(V__I,V__B)) => (( ? [V__MT] : ((s__instance(V__MT,s__MusicalTone) & s__causes(V__I,V__MT)))))) ) )	Music.kif 1248-1256	If an entity is an instance of bell and a process is an instance of impacting and the process ends up at the entity, then there exists another process such that the other process is an instance of musical tone and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 693-707	If an object is an instance of brake pedal and a process is an instance of pushing and another object is an instance of vehicle and the process ends up at the object and the process is located at 2 and the object is a part of the other object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of wearing friction surface and the other entity is an instance of friction and the entity is an instrument for the other entity and the process causes the other entity
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] : (((s__instance(V__C,s__Clutch) & s__instance(V__A,s__Automobile) & s__instance(V__E,s__Engine) & s__instance(V__G,s__Gearbox) & s__instance(V__GEAR,s__Gear) & s__part(V__GEAR,V__G) & s__part(V__G,V__A) & s__part(V__C,V__A) & s__part(V__E,V__A) & s__instance(V__M,s__Motion) & s__patient(V__M,V__E) & s__attribute(V__C,s__DeviceOff)) => (( ? [V__M2] : ((s__instance(V__M2,s__Motion) & s__patient(V__M2,V__G) & s__causes(V__M,V__M2)))))) ) )	Cars.kif 1838-1856	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device off is an attribute of the object, then there exists the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
( ! [V__A,V__C,V__E,V__GEAR,V__G,V__M] : (((s__instance(V__C,s__Clutch) & s__instance(V__A,s__Automobile) & s__instance(V__E,s__Engine) & s__instance(V__G,s__Gearbox) & s__instance(V__GEAR,s__Gear) & s__part(V__GEAR,V__G) & s__part(V__G,V__A) & s__part(V__C,V__A) & s__part(V__E,V__A) & s__instance(V__M,s__Motion) & s__patient(V__M,V__E) & s__attribute(V__C,s__DeviceOn)) => (~(( ? [V__M2] : ((s__instance(V__M2,s__Motion) & s__patient(V__M2,V__G) & s__causes(V__M,V__M2))))))) ) )	Cars.kif 1817-1836	If an object is an instance of clutch and another object is an instance of automobile and a third object is an instance of engine and a fourth object is an instance of gearbox and the fourth objectEAR is an instance of gear and the fourth objectEAR is a part of the fourth object and the fourth object is a part of the other object and the object is a part of the other object and the third object is a part of the other object and a process is an instance of motion and the third object is a patient of the process and device on is an attribute of the object, then there doesn't exist the process2 such that the process2 is an instance of motion and the fourth object is a patient of the process2 and the process causes the process2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of Crankshaft and another object is an instance of IntermittentCombustionEngine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at 2 and the entity causes the other entity
( ! [V__CD,V__DateOfWithdrawal,V__Withdrawal,V__MaturityDate] : (((s__instance(V__DateOfWithdrawal,s__Day) & s__instance(V__MaturityDate,s__Day)) => (((s__instance(V__CD,s__CertificateOfDeposit) & s__maturityDate(V__CD,V__MaturityDate) & s__instance(V__Withdrawal,s__Withdrawal) & s__origin(V__Withdrawal,s__CurrencyFn(V__CD)) & s__date(V__Withdrawal,V__DateOfWithdrawal) & s__before(s__EndFn(V__DateOfWithdrawal) ,s__BeginFn(V__MaturityDate))) => (( ? [V__Penalty] : ((s__instance(V__Penalty,s__Penalty) & s__destination(V__Penalty,s__CurrencyFn(V__CD)) & s__causes(V__Withdrawal,V__Penalty)))))))) ) )	FinancialOntology.kif 1041-1053	If a financial account is an instance of certificate of deposit and a day is a maturity date of the financial account and a process is an instance of withdrawal and the process originates at the currency of the financial account and date of the process is another day and the end of the other day happens before the beginning of the day, then there exists another process such that the other process is an instance of penalty and the other process ends up at the currency of the financial account and the process causes the other process
( ! [V__A,V__DVU] : ((s__instance(V__A,s__Agent) => (((s__instance(V__DVU,s__DisgustedVoiceUtterance) & s__agent(V__DVU,V__A)) => (( ? [V__D] : ((s__instance(V__D,s__Disgust) & s__experiencer(V__D,V__A) & s__causes(V__D,V__DVU)))))))) ) )	emotion.kif 1996-2004	If a process is an instance of disgusted voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of disgust and the agent experiences the other process and the other process causes the process
( ! [V__A,V__EBP] : ((s__instance(V__A,s__Agent) => (((s__instance(V__EBP,s__EmotionalBehavioralProcess) & s__agent(V__EBP,V__A)) => (( ? [V__APP] : ((s__instance(V__APP,s__AppraisalProcess) & s__agent(V__APP,V__A) & s__causes(V__APP,V__EBP)))))))) ) )	emotion.kif 119-127	If a process is an instance of emotional behavioral process and an agent is an agent of the process, then there exists the agentPP such that the agentPP is an instance of appraisal process and the agent is an agent of the agentPP and the agentPP causes the process
( ! [V__A,V__EBP] : ((s__instance(V__A,s__Agent) => (((s__instance(V__EBP,s__EmotionalBehavioralProcess) & s__agent(V__EBP,V__A)) => (( ? [V__FE] : ((s__instance(V__FE,s__FacialExpression) & s__agent(V__FE,V__A) & s__causes(V__EBP,V__FE)))))))) ) )	emotion.kif 129-137	If a process is an instance of emotional behavioral process and an agent is an agent of the process, then there exists another process such that the other process is an instance of facial expression and the agent is an agent of the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2496-2510	If a process is an instance of evacuation and the process originates at a geographic area and a cognitive agent is an agent of the process, then there exists another process such that the other process is an instance of process and the geographic area is a geographic subregion of the place where the other process was at the beginning of the time of existence of the process and the other process causes the process and the cognitive agent believes dangerous is an attribute of the other process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4561-4578	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2730-2744	If an object is an instance of fan belt and another object is an instance of engine fan and a third object is an instance of automobile and the object is a part of the third object and the other object is a part of the third object and a process is an instance of motion and the object is a patient of the process, then the object has the purpose there exists the process2 such that the process2 is an instance of rotating and the process causes the process2 and the other object is a patient of the process2
( ! [V__A,V__FVU] : ((s__instance(V__A,s__Agent) => (((s__instance(V__FVU,s__FearfulVoiceUtterance) & s__agent(V__FVU,V__A)) => (( ? [V__F] : ((s__instance(V__F,s__Fear) & s__experiencer(V__F,V__A) & s__causes(V__F,V__FVU)))))))) ) )	emotion.kif 2061-2069	If a process is an instance of fearful voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of angst and the agent experiences the other process and the other process causes the process
( ! [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 6075-6085	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
( ! [V__A,V__HVU] : ((s__instance(V__A,s__Agent) => (((s__instance(V__HVU,s__HappyVoiceUtterance) & s__agent(V__HVU,V__A)) => (( ? [V__H] : ((s__instance(V__H,s__Happiness) & s__experiencer(V__H,V__A) & s__causes(V__H,V__HVU)))))))) ) )	emotion.kif 1979-1987	If a process is an instance of happy voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of happiness and the agent experiences the other process and the other process causes the process
( ! [V__OBJ,V__KILL] : ((s__instance(V__OBJ,s__Agent) => (((s__instance(V__KILL,s__Killing) & s__patient(V__KILL,V__OBJ)) => (( ? [V__DEATH] : ((s__instance(V__DEATH,s__Death) & s__experiencer(V__DEATH,V__OBJ) & s__causes(V__KILL,V__DEATH)))))))) ) )	Merge.kif 11732-11740	If a process is an instance of killing and an agent is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the process causes the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24858-24875	If a physical is an instance of knock light and the physical is located at an object and the object is an instance of room and another object is an instance of door and the other object is a part of the object, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of impacting and the other object is a patient of the entity and the entity causes the other entity and the other entity is an instance of radiating sound and the other object is an agent of the other entity and the other entity causes the third entity and the third entity is an instance of radiating visible light and the physical is an instrument for the third entity
( ! [V__P,V__H,V__I] : ((s__instance(V__H,s__Agent) => (((s__instance(V__P,s__Poison) & s__instance(V__I,s__Ingesting) & s__moves(V__I,V__P) & s__experiencer(V__I,V__H)) => (( ? [V__D] : ((s__instance(V__D,s__Damaging) & s__experiencer(V__D,V__H) & s__causes(V__I,V__D)))))))) ) )	Mid-level-ontology.kif 8179-8189	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
( ! [V__PLANNING,V__COMMANDER] : (((s__instance(V__COMMANDER,s__Agent) & s__instance(V__COMMANDER,s__Position)) => (((s__instance(V__PLANNING,s__OperationPlanning) & s__agent(V__PLANNING,V__COMMANDER)) => (((s__instance(V__COMMANDER,s__CombatantCommander) & ( ? [V__REQUEST, V__CHAIRMAN] : ((s__instance(V__CHAIRMAN,s__Agent) & (s__instance(V__REQUEST,s__Requesting) & s__agent(V__REQUEST,V__CHAIRMAN) & s__attribute(V__CHAIRMAN,s__ChairmanJCS) & s__causes(V__REQUEST,V__PLANNING)))))) \| (s__instance(V__COMMANDER,s__SubunifiedCommander) & ( ? [V__REQUEST, V__COMMANDERSUPER, V__MILITARY] : ((s__instance(V__COMMANDERSUPER,s__Agent) & s__instance(V__COMMANDERSUPER,s__Position) & (s__instance(V__REQUEST,s__Requesting) & s__agent(V__REQUEST,V__COMMANDERSUPER) & s__attribute(V__COMMANDERSUPER,s__MilitaryCommander) & s__subordinatePosition(V__MILITARY,V__COMMANDER,V__COMMANDERSUPER) & s__instance(V__MILITARY,s__MilitaryForce) & s__causes(V__REQUEST,V__PLANNING))))))))))) ) )	MilitaryProcesses.kif 1563-1585	If a process is an instance of operation planning and an agent is an agent of the process, then the agent is an instance of combatant commander and there exist another process and another agent such that the other process is an instance of requesting and the other agent is an agent of the other process and chairmanJC s is an attribute of the other agent and the other process causes the process or the agent is an instance of subunified commander and there exist the other process, the agentSUPER and an organization such that the other process is an instance of requesting and the agentSUPER is an agent of the other process and military commander is an attribute of the agentSUPER and the organization is subordinate position the agent for the agentSUPER and the organization is an instance of military force and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12339-12344	If a process is an instance of diagnostic process and an agent is an agent of the process, then there exists an entity such that the process has the purpose the agent knows the entity causes the process for the agent
( ! [V__P,V__S] : (((s__instance(V__S,s__Sentencing) & s__patient(V__S,V__P)) => (( ? [V__C] : ((s__causes(V__C,V__S) & s__instance(V__C,s__LegalConviction) & s__patient(V__C,V__P) & s__earlier(s__WhenFn(V__C) ,s__WhenFn(V__S))))))) ) )	Mid-level-ontology.kif 15391-15400	If a process is an instance of sentencing and an entity is a patient of the process, then there exists another process such that the other process causes the process and the other process is an instance of legal conviction and the entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process
( ! [V__A,V__SS] : ((s__instance(V__A,s__Agent) => (((s__instance(V__SS,s__StayingStill) & s__experiencer(V__SS,V__A)) => (~(( ? [V__B, V__T] : ((s__instance(V__B,s__BodyMotion) & s__instance(V__T,s__Translocation) & s__causes(V__B,V__T) & s__agent(V__B,V__A))))))))) ) )	emotion.kif 1531-1541	If a process is an instance of staying still and an agent experiences the process, then there don't exist another process and a third process such that the other process is an instance of body motion and the third process is an instance of translocation and the other process causes the third process and the agent is an agent of the other process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: