TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1875-1878
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2470-2474
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 499-502
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2467-2467	The number 1 argument of instrument is an instance of process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2468-2468	The number 2 argument of instrument is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2465-2465	instrument is an instance of case role
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2466-2466	instrument is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2464-2464	instrument is a subrelation of patient

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 2510-2510	resource and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2511-2511	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 135-135	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	english_format.kif 136-136	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	french_format.kif 89-89	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 150-150	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1916-1916	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 41-41	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 83-83	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 163-163	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 189-189	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 108-108	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 88-88	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 304-304	result and instrument are disjoint
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 200-200	computer running is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25175-25175	conveyance is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1709-1709	e_commerce site is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10011-10011	reagent is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 639-639	standard error device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 608-608	standard input device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 622-622	standard output device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30270-30270	standard output device is a subrelation of instrument
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 136-136	standard output device is a subrelation of instrument

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 258-272	If the angleOfFire of a shooting an angle measure is the angle measure and an object is an instrument for the shooting and the object is an instance of gun and another object is a part of the object and the other object is an instance of gun barrel and a finite line in space is an instance of finite line in space and a PointinSpace and another PointinSpace are end points of the finite line in space and the PointinSpace and the other PointinSpace are the end PointInSpace of object the other object and the shooting is located at a third object and the third object is an instance of geographic area and part and a point in space and the third object, then the angle between the finite line in space and the PlaneInSpace is perpendicular to the line formed by the point in space and the centre of the AstronomicalBody. is the angle measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12016-12027	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of extension and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12003-12014	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 346-361	If use of a kind of physical is free for a kind of hotel unit and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then the object is price 0 united states dollar(s) for the human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4685-4691	If an object is an instance of anchor and the objectTTACH is an instance of attaching and the object is an instrument for the objectTTACH and an entity is a patient of the objectTTACH, then the entity is an instance of water vehicle
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.	Mid-level-ontology.kif 12439-12449	If an object is an instance of artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another object such that the other object is an instance of heart and the process originates at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12472-12482	If an object is an instance of pulmonary artery and a process is an instance of transfer and an entity is a patient of the process and the object is an instrument for the process and the entity is an instance of blood, then there exists another entity such that the other entity is an instance of lung and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 57-62	If a process is an instance of violent contest and an object is an instrument for the process and the object is an instance of biochemical weapon, then the process is an instance of biochemical attack
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3534-3541	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23661-23668	If an object is an instance of blade and a process is an instance of cutting and another object is an instance of object and the object is an instrument for the process and the other object is a patient of the process, then the object meets the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16052-16059	If a process is an instance of covering and an entity is a patient of the process and an object is an instrument for the process, then the object covers the entity holds 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 12891-12895	If a process is an instance of chewing and an object is an instrument for the process, then the object is an instance of tooth
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1422-1432	If an object is an instance of wireless network and a motion is an instance of network communication and the object is an instrument for the motion and another object is path along which the motion occurs, then there exists a third object such that the third object is a part of the other object and the third object is not an instance of cable
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3941-3949	If an object is an instance of water vehicle and a process is an instance of transportation and the object is an instrument for the process, then there exists another object such that the other object is an instance of water area and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3561-3572	If a bank card is an instance of debit card and an agent possesses the bank card and a process is an instance of financial transaction and the bank card is an instrument for the process, then there exist a symbolic string and another process such that the bank card is a pin of the symbolic string and the other process is an instance of entering a PIN and the symbolic string is a patient of the other process and the agent is an agent of the other process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3229-3236	If an object is an instance of animal powered device and the object is an instrument for a process, then there exists another object such that the other object is an instance of animal and the other object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 180-185	If a process is an instance of damaging and an object is an instrument for the process and the object is an instance of biologically active substance, then the object is an instance of toxin
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3009-3017	If an object is an instance of electric device and a process is an instance of process and the object is an instrument for the process, then there exists another object such that the other object is an instance of electricity and the other object is a resource for the process
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1536-1546	If an object is an instance of absolute filter and a process is an instance of removing and the process originates at another object and the other object is an instance of gas mixture and a third object is a patient of the process and solid is an attribute of the third object and the object is an instrument for the process, then the third object is not a part of the other object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1070-1090	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a motion is an instance of transportation and a process is an instance of fuel and the process is a patient of the motion and the object is an instrument for the process and a third object is an instance of gas tank and the third object is a part of the other object and a fourth object is an instance of engine cylinder and the fourth object is a part of the other object and the motion originates at the third object and the motion ends up at the fourth object and a fifth object is path along which the motion occurs, then the motion has the purpose there exists the processF such that the processF is an instance of fuel filter and the processF is between the third object and the fourth object on path the fifth object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1051-1068	If an object is an instance of fuel pump and another object is an instance of automobile and the object is a part of the other object and a process is an instance of transportation and another process is an instance of fuel and the other process is a patient of the process and the object is an instrument for the other process, then the object has the purpose there exist an entity and another entity such that the entity is an instance of gas tank and the entity is a part of the other object and the other entity is an instance of engine cylinder and the other entity is a part of the other object and the process originates at the entity and the process ends up at the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1301-1313	If an object is an instance of gun and another object is an instance of gun barrel and the other object is a part of the object and a process is an instance of shooting and the object is an instrument for the process and an entity is a patient of the process and the entity is an instance of projectile, then there exists the processUB such that the processUB is a subprocess of the process and the other object is path along which the processUB occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18438-18450	If an object is an instance of game goal and the object is an instrument for a process and the process is an instance of game and another process is a subprocess of the process and the other process is an instance of score, then there exist an entity and a time position such that the entity is an instance of game piece and the entity is a patient of the other process and the time position is a part of the time of existence of the other process and the entity is located at the object holds during the time position
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4348-4360	If an object is an instance of reel and a process is an instance of keeping and another object is an instance of corpuscular object and long and thin is an attribute of the other object and pliable is an attribute of the other object and the object is an instrument for the process and the other object is a patient of the process, then there exists a third object such that the third object is a part of the other object and the third object meets the object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12016-12027	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of extension and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing flexion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12003-12014	If a kind of muscle and another kind of muscle are antagonist muscles and a motion is an instance of flexion and a kind of muscleC is an instrument for the motion and another kind of muscleC moves during the motion and the kind of muscleC is an instance of the kind of muscle and the other kind of muscleC is an instance of the other kind of muscle and the kind of muscleC is a part of a third object and the other kind of muscleC is a part of the third object and the third object is an instance of animal, then the other kind of muscleC is capable of doing extension as a instrument
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 4246-4250	If corrosive substance is an attribute of an object and the object is an instance of substance, then the object is capable of doing corrosion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13868-13878	If an attribute is an attribute of an object and the attribute is an instance of fingerprint and the object is not an instance of finger, then there exist the attributeR and another object such that the other object is an instrument for the attributeR and the other object is an instance of finger and the attribute is an attribute of the other object and the object is a patient of the attributeR
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28059-28071	If wheelchair accessible is an attribute of an object and the object is an instance of building or the object is an instance of room, then the statement there exist an entity and another entity such that the entity is an instance of motion and the other entity is an instrument for the entity and the other entity is an instance of wheelchair and the entity is located at the object has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 504-520	If an agent is a customer of a cognitive agent and the agent has a kind of physical and a kind of physical is a subclass of object and an entity is an instance of the kind of physical, then the agent allows the cognitive agent to perform task of the type there exists another entity such that the other entity is an instance of process and the entity is a resource for the other entity or the entity is an instrument for the other entity or the entity is a patient of the other entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Communications.kif 202-214	If a process ends up at an object and the process is an instance of messaging and an entity is a patient of the process and the object is an instance of telex, then there exist another process and another entity such that the object is an instrument for the other process and the other entity is a result of the other process and the other entity expresses the entity and the other entity is an instance of text and the beginning of the time of existence of the process happens before the beginning of the time of existence of the other process
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1358-1369	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 1962-1978	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 nerve firing 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.	Hotel.kif 815-836	If use of a kind of physical is free for a kind of hotel function room and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the agent is an agent of the process and the process ends up at another entity and a kind of physical is a subclass of object, then the statement there exist a third entity and a fourth entity such that the third entity is an instance of the kind of physical and the fourth entity is an instance of process and the third entity is a resource for the fourth entity or the third entity is an instrument for the fourth entity or the third entity is a patient of the fourth entity and the other entity is an agent of the fourth entity or the other entity experiences the fourth entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 294-313	If a human is a guest at an agent and the human stays at a temporary residence and the temporary residence is an element of belongings of the agent and the temporary residence is an instance of the temporary residenceOOM and a kind of physical is an amenity in the temporary residenceOOM and a kind of physical is a subclass of object, then there exists another physical such that the other physical is an instance of the kind of physical and the other physical is located at the temporary residence and the agent allows the human to perform task of the type there exists an entity such that the human is an agent of the entity and the other physical is an instrument for the entity or the other physical is a patient of the entity or the other physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1776-1787	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 1789-1801	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.	Mid-level-ontology.kif 4854-4870	If an agent is an instance of biped and a process is an instance of ambulating and the agent is an agent of the process, then the statement there exist an entity and another entity such that the entity is an instance of leg and the other entity is an instance of leg and the entity is not equal to the other entity and the entity is a part of the agent and the other entity is a part of the agent and the entity is an instrument for the process and the other entity is an instrument for the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2198-2214	If a process is an instance of auto-immune disease and a cognitive agent experiences the process, then there exist an object, another process and another object such that the object is an instance of antibody and the object is a part of the cognitive agent and the other object is an instance of cell and the other object is a part of the cognitive agent and the other process is an instance of destruction and the object is an instrument for the other process and the cognitive agent doesn't desire the other process is an instance of destruction and the object is an instrument for the other process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1145-1158	If a financial account is an instance of checking account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of check and the object is an instrument for the process or there exists another object such that the other object is an instance of debit card and the other object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1255-1263	If a financial account is an instance of credit card account and a process is an instance of financial transaction and the process originates at the currency of the financial account, then there exists an object such that the object is an instance of credit card and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3859-3869	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.	Mid-level-ontology.kif 7452-7460	If a process is an instance of biting and an agent is an agent of the process, then there exists an object such that the object is an instance of mouth and the object is a part of the agent and the object is an instrument for the 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 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.	Mid-level-ontology.kif 4834-4842	If a process is an instance of crawling and an agent is an agent of the process, then there exists the agentRM such that the agentRM is an instance of arm and the agentRM is a part of the agent and the agentRM is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3229-3236	If an object is an instance of animal powered device and the object is an instrument for a process, then there exists another object such that the other object is an instance of animal and the other object is an instrument for the process
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 601-609	If a process is an instance of precise destruction and an agent is an agent of the process, then there exists an object such that the agent possesses the object and the object is an instrument for the process and the object is an instance of high precision weapon
No TPTP formula. May not be expressible in strict first order.	Media.kif 690-700	If a process is an instance of data saving and an object is a resource for the process and the object is an instance of electronic data storage device, then there exists another object such that the other object is an instance of electric device and the other object is an instrument for the process and the object is connected to the other object holds during the time of existence of the process

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19773-19790	There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?READ
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3305-3311	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: