TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1943-1945
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2734-2738
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2731-2731	The number 1 argument of knows is an instance of cognitive agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2732-2732	The number 2 argument of knows is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2729-2729	knows is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2728-2728	knows is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2730-2730	knows is a subrelation of in scope of interest

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 139-139
No TPTP formula. May not be expressible in strict first order.	english_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 140-140
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32652-32652
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32651-32651

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4364	If a cognitive agent has account an user account and the user account has password a computer password and deviceAccount the user account and a computer and the cognitive agent doesn't know the user account has password the computer password and the cognitive agent knows the account the user account has recovery key an entity and the cognitive agent possesses the computer, then the statement there exists another entity such that the other entity is an instance of change password and the user account is a patient of the other entity and the cognitive agent is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1857-1869	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process purpose the other cognitive agent doesn't know the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2740-2742	If a cognitive agent knows a formula, then the cognitive agent believes the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2744-2746	If a cognitive agent knows a formula, then the formula is true

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 11289-11295	If a process is an instance of counting and a cognitive agent is an agent of the process and an entity is a patient of the process, then there exists another entity such that the cognitive agent knows the number of instances in the entity is equal to the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1857-1869	If a process is an instance of defensive information operation and a cognitive agent is an agent of the process and the cognitive agent and another cognitive agent are enemies of each other and the other cognitive agent desires the other cognitive agent knows an entity and the cognitive agent desires the other cognitive agent doesn't know the entity, then the process purpose the other cognitive agent doesn't know the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4371-4381	If a process is an instance of forgetting and an agent experiences the process, then there exists an entity such that the agent doesn't know the entity holds during immediately after the time of existence of the process and the agent knows the entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12015-12021	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the process purpose the agent knows the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12008-12013	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23801-23814	If a physical is an instance of knock light and deaf is an attribute of an agent and the physical is located at an object and the agent is located at the object and another object is an instance of door and the other object is a part of the object, then the physical purpose the agent knows there exists an entity such that the entity is an instance of impacting and the other object is a patient of the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11163-11170	If a process is an instance of learning and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the beginning of the time of existence of the process and the agent knows the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 577-587	If a process is an instance of locating and an entity is a patient of the process and an agent is an agent of the process, then the process purpose there exists another entity such that the other entity is an instance of region and the agent knows the entity is located at the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11275-11282	If a process is an instance of measuring and an agent is an agent of the process and an entity is a patient of the process, then there exist another entity and a third entity such that the agent knows the measure of the entity is the other entity the third entity(s) 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.	Mid-level-ontology.kif 1260-1268	If a process is an instance of punishing and a cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at another entity, then the cognitive agent knows the other entity doesn't desire the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12032-12037	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 purpose the agent knows the entity causes the process for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12283-12289	If a process is an instance of questioning 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 formula, then the agent doesn't know the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12058-12071	If a process is an instance of Searching and a physical is a patient of the process and the physical is an instance of physical, then there exist an object and an agent such that the agent is an instance of cognitive agent and the agent is an agent of the process and the object is an instance of object and the physical is located at the object and the process purpose the agent knows the physical is located at the object for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12539-12547	If a process is an instance of seeing and a cognitive agent is an agent of the process and an entity is a patient of the process, then there exists another entity such that the other entity is an instance of color attribute and the cognitive agent knows the other entity is an attribute of the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 684-690	If a process is an instance of reconnaissance operation and an agent is an agent of the process and an entity is an instance of proposition, then the process purpose the agent knows the entity
No TPTP formula. May not be expressible in strict first order.	emotion.kif 56-64	If a process is an instance of appraisal process and a cognitive agent is an agent of the process, then there exists the cognitive agentPP such that the cognitive agentPP is an instance of appraisal and the cognitive agent knows the cognitive agentPP is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3685-3725	If an object is an instance of CarAlarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then the object purpose if an entity is an instance of stealing or the entity is an instance of damaging and another entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to a third entity and the entity is partly located at a fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24607-24625	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at 2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7945-7954	If an entity is an instance of occupational trade or the entity is an instance of profession and the entity is an attribute of another entity holds during a time position, then there exists a third entity such that the third entity is an instance of field of study and the other entity knows the third entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20027-20035	If celebrity is an attribute of an object, then the number of instances in the class described by a symbolic string is greater than 1000
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4183-4202	If a physical is an instance of FMIP, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the other entity is an instance of iPhone and the physical is an instrument for the third entity and the entity is an agent of the third entity and the other entity is a patient of the third entity and the entity doesn't know the other entity is located at the fourth entity holds during immediately before the time of existence of the third entity and the entity knows the other entity is located at the fourth entity holds during immediately after the time of existence of the third entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4155-4169	If a process is an instance of phishing, then there exist a cognitive agent, another cognitive agent,, , another process and a formula such that the other process is an instance of communication and the other process originates at the cognitive agent and the cognitive agent is an agent of the process and the other process ends up at the other cognitive agent and the formula is an instance of formula and the other cognitive agent knows the formula and the other cognitive agent doesn't desire the cognitive agent knows the formula and the cognitive agent desires the cognitive agent knows the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12044-12056	If a process is an instance of Searching, then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process purpose the agent knows the physical is located at the object for the agent

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: