TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2091-2096
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3948-3958
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 739-746
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3945-3945	The number 1 argument of has purpose is an instance of physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3946-3946	The number 2 argument of has purpose is an instance of formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3944-3944	has purpose is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3943-3943	has purpose is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	english_format.kif 115-115
No TPTP formula. May not be expressible in strict first order.	french_format.kif 79-79
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 124-124
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1906-1906
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 31-31
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 120-120
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 133-133
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 164-164
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 98-98
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 78-78
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 254-254
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27546-27546
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27545-27545
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 27544-27544
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 39-39
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 255-255

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29495-29507	If Collectible is an attribute of an object and the object has the purpose a formula, then there exist a cognitive agent and the formula2 such that the cognitive agent is an instance of human and the cognitive agent wants the object and the cognitive agent desires the formula2 and the formula2 entails the cognitive agent possesses the object and the formula is not equal to the formula2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29446-29451	If device damaged is an attribute of an object and the object has the purpose a formula, then the statement the formula doesn't have the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29419-29423	If device normal is an attribute of an object and the object has the purpose a formula, then the statement the formula has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1844-1848	If functioning is an attribute of an object and the object has the purpose a formula, then the formula is true
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1854-1858	If malfunctioning is an attribute of an object and the object has the purpose a formula, then the formula is false
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18268-18276	If dead or missing body part fn a class is an attribute of an object holds during a time position and the classI is an instance of the class and the classI is a part of the object and the classI has the purpose a formula, then the formula
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18247-18257	If impaired body part fn a class is an attribute of an object holds during a time position and the classI is an instance of the class and the classI is a part of the object and the classI has the purpose a formula, then the statement the formula has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Government.kif 2362-2369	If a cognitive agent is an instance of political pressure group and the cognitive agent has the purpose a formula and a geographic area is an agent operates in area of the cognitive agent and the geographic area is an instance of nation, then the cognitive agent desires the government of the geographic area believes the formula
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17896-17901	If a process is an instance of installing and a physical is a patient of the process and the physical has the purpose a formula, then the formula is true 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 802-809	If process failure is the status of a computer process and the computer process has the purpose a formula, then the formula doesn't hold during immediately before the time of existence of the computer process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3973-3976	If a physical has the purpose a formula, then there exists an agent such that the physical has the purpose the formula for the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 408-419	If demo recording is an attribute of an object and the object is an instance of recording, then the object has the purpose there exist an entity, another entity and the objectUSIC such that the entity is an instance of demonstrating and the object is a record of the objectUSIC and the objectUSIC is a patient of the entity and the entity ends up at the other entity and the other entity is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20600-20622	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1347-1358	If an engineering component is a component of internet and another engineering component is a component of internet and the engineering component is not equal to the other engineering component, then internet has the purpose there exists an entity such that the entity is an instance of communication and the engineering component is an agent of the entity and the entity ends up at the other engineering component and internet is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1923-1939	If ennervates a kind of nerve and a kind of muscle and an object is an instance of a kind of nerve and another object is an instance of a kind of muscle and the object is a part of a third object and the other object is a part of the third object and healthy is an attribute of the third object and the third object is an instance of human, then the object has the purpose there exist the objectF and another entity such that the objectF is an instance of NerveFiring and the object is an instrument for the objectF and the kind of muscle is an instance of MuscleContraction and the other object is an instrument for the other objectV and the objectF causes the kind of muscle
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1990-1999	If a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there exists an entity such that the entity is an instance of maintaining and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1632-1644	If an object is an instance of armor and the object is a part of another object or the object meets the other object, then the object has the purpose there doesn't exist an entity such that the entity is an instance of damaging and the object is an instrument for the entity and the other object experiences the entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6338-6346	If an attribute is an instance of medical person and the attribute is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of therapeutic process and the object is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21756-21768	If a process is an instance of ambush and an agent is an agent of the process, then there exists another process such that the other process is an instance of concealing and the other process is a subprocess of the process and the other process has the purpose there exists an entity such that the entity is an instance of attack and the agent is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2003-2012	If a physical is an instance of barricade and the physical is partly located in an object, then the physical has the purpose there doesn't exist an entity such that the entity is an instance of translocation and the object is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3416-3426	If an object is an instance of vehicle brake and another object is an instance of vehicle and the object is a part of the other object, then the object has the purpose there exists an entity such that the entity is an instance of the stop of motion and the other object is a patient of the entity and the object is an instrument for the entity
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 the other object 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
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1666-1674	If an object is an instance of cam and the objectS is an instance of camshaft and a third object is an instance of engine and the object is a part of the third object and the objectS is a part of the third object, then the objectS has the purpose the object is connected to the objectS
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1747-1767	If a physical is an instance of cavitating and a self connected object is an instance of pump and device on is an attribute of the self connected object and liquid is an attribute of an object and the self connected object contains the object, then there exist the self connected objectP and an entity such that the self connected objectP is a part of the self connected object and the self connected objectP has the purpose liquid is an attribute of the entity and the entity meets the self connected objectP and there doesn't exist another entity such that liquid is an attribute of the other entity and the self connected objectP meets the other entity holds during the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5488-5497	If a process is an instance of concealing and an entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of seeing and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6055-6074	If a process is an instance of coughing and an agent experiences the process, then the process 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 lung and the fourth entity is an instance of throat and the third entity is an instance of object and the entity is an instance of removing and the other entity is a part of the agent and the fourth entity is a part of the agent and the object transferred in the entity is the third entity and the third entity is located at the fourth entity or the third entity is located at the other entity holds during immediately before the time of existence of the process
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 intermittent combustion engine 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 the other object and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 767-785	If a process is an instance of cricothyrotomy and an entity is a patient of the process, then the process has the purpose there exists another entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity holds during immediately before the time of existence of the process and there exists the other entity such that the other entity is an instance of impairment in breathing and the entity is a patient of the other entity doesn't hold during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6121-6139	If a process is an instance of sneezing and an agent experiences the process, then the process has the purpose there exist an entity, another entity,, , the other entityOSE and a fourth entity such that the other entity is an instance of nasal cavity and the other entityOSE is an instance of nose and the other entityOSE is equal to the host of the hole the other entity and the fourth entity is an instance of object and the entity is an instance of removing and the other entityOSE is a part of the agent and the object transferred in the entity is the fourth entity and the fourth entity is located at the other entity holds during immediately before the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Government.kif 1513-1524	If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area, then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1478-1488	If a process is an instance of counterproliferationWM d and an agent is an agent of the process, then there exist another agent and another process such that the agent and the other agent are enemies of each other and the other agent is an agent of the other process and the other process is an instance of proliferationWMD and the process has the purpose the process prevents the occurrence of proliferationWMD
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 450-463	If a process is an instance of dodging and an agent is an agent of the process and the processT is equal to the time of existence of the process, then the process has the purpose there doesn't exist an entity such that the processT meets the time of existence of the entity or the time of existence of the entity overlaps the processT and the entity is an instance of impacting and the agent is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	If a process is an instance of dressing and a physical is an instance of oqal and an entity is an instance of hat and the physical is a patient of the process and the entity is a patient of the process, then the physical has the purpose there exists another entity such that the other entity is an instance of attaching and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 618-630	If a process is an instance of precise destruction and an entity is a patient of the process, then the process has the purpose there don't exist another entity and a third entity such that the other entity is an instance of damaging and the other entity is a subprocess of the process and the third entity is a patient of the other entity and the entity is not equal to the third entity

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.

ComputingBrands.kif 3309-3315

IBookstore has the purpose there exists ?D such that ?D is an instance of downloading and iBookstore is an instrument for ?D and ?T is an instance of text and the object transferred in ?D is ?T

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

KB Term:			Term intersection

English Word: