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 2733-2737
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2730-2730	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 2731-2731	The number 2 argument of knows is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2728-2728	knows is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2727-2727	knows is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2729-2729	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 32711-32711
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32710-32710

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4398-4415	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 has the purpose the other cognitive agent doesn't know the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2739-2741	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 2743-2745	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 11304-11310	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 has the purpose the other cognitive agent doesn't know the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4422-4432	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 12030-12036	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 has the purpose the agent knows the entity for the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12023-12028	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 22053-22066	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 has the 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 11178-11185	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 has the 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 11290-11297	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 815-823	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 12047-12052	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12298-12304	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 12073-12086	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 has the 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 12554-12562	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 has the 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 3727-3767	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 has the 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 has the 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 22666-22684	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 has the 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 7182-7191	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 18644-18652	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 4234-4253	If a physical is an instance of FMIP, then the physical has the 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 4206-4220	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 12059-12071	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 has the 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: