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 2840-2844
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 573-575
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2837-2837	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 2838-2838	The number 2 argument of knows is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2835-2835	knows is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2834-2834	knows is an instance of propositional attitude
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2836-2836	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.	french_format.kif 91-91
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 159-159
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1918-1918
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 43-43
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 101-101
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 169-169
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 198-198
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 110-110
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 318-318
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 32735-32735
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32734-32734
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 51-51
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 319-319

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4422-4439	If a cognitive agent has account an user account and the user account has password a computer password and device account 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 1876-1888	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 2846-2848	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 2850-2852	If a cognitive agent knows a formula, then the formula is true

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2764-2778	If an object is an instance of antigen COVID test and the object is an instrument for a process and the process is an instance of measuring and another object is a patient of the process and a third object is an instance of COVID antibody and the third object is a part of the other object, then the statement the other object knows there exists the third object such that the third object is an instance of COVID antibody and the third object is a part of the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6523-6547	If a process is an instance of checking vitals and a cognitive agent is an agent of the process and an object is a patient of the process and a heart is an instance of heart and the heart is a part of the object and a lung is an instance of lung and the lung is a part of the object and the systolic blood pressure of the object is an entity and the diastolic blood pressure of the object is another entity and the measure of the object is a third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of an integer beats per the time of existence of the process and the lung breathes at a rate of another integer breaths per the time of existence of the process, then the cognitive agent knows the systolic blood pressure of the object is the entity and the diastolic blood pressure of the object is the other entity and the measure of the object is the third entity fahrenheit degree(s) holds during the time of existence of the process and the heart beats at a rate of the integer beats per the time of existence of the process and the lung breathes at a rate of the other integer breaths per the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12286-12292	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 equal the number of instances in the entity and the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1876-1888	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.	Medicine.kif 3450-3461	If a process is an instance of electrocardiography and an entity is a patient of the process and an agent is an agent of the process and medical doctor is an attribute of the agent, then the process has the purpose the agent knows there exists another entity such that impaired body part fn heart is an attribute of the entity is the other entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4446-4456	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.	Medicine.kif 3668-3681	If a process is an instance of gaslighting and an agent is an agent of the process and another agent suffers from the process, then there exists another process such that the other process is an instance of perception and the other agent experiences the other process and the other agent doesn't know an entity is a result of the other process is a causes proposition of the other agent suffers from the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5378-5388	If a process is an instance of Gram stain 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 there exists another entity such that the other entity is an instance of Gram stain and the other entity is an attribute of the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13095-13101	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 13088-13093	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 27738-27750	If an object is an instance of knock light and an agent is an instance of human and deafness is an attribute of the agent and the agent uses the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of impacting and the other entity is a patient of the entity and the other entity is an instance of door and the agent knows the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12099-12106	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.	Medicine.kif 1252-1261	If a process is an instance of measuring and an object is an instrument for the process and a cognitive agent is an agent of the process and an entity is a patient of the process and the object is an instance of pulse oximeter, then there exists another entity such that the cognitive agent knows the oxygen saturation of the entity is the other entity percent
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 455-471	If a process is an instance of measuring breathing and an agent is an agent of the process and an object is an instance of lung and the object is a part of another object and a time interval is an instance of time interval and the time interval takes place during the time of existence of the process and duration of the time interval is minute duration and the other object is a patient of the process, then there exists an entity such that the agent knows the object breathes at a rate of the entity breaths per the time interval holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12272-12279	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 2313-2323	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 2301-2311	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 865-873	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 13112-13117	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 13367-13373	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 13138-13151	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 13679-13687	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

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: