TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1578-1580
No TPTP formula. May not be expressible in strict first order.	Merge.kif 964-969
No TPTP formula. May not be expressible in strict first order.	Merge.kif 961-961	The number 1 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 962-962	The number 2 argument of component is an instance of corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 960-960	component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 959-959	component is a subrelation of part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 75-75
No TPTP formula. May not be expressible in strict first order.	english_format.kif 75-75
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1701-1701	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 76-76
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16190-16190
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16189-16189
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16188-16188

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5753-5757	If a corpuscular object is an instance of archipelago and another corpuscular object is a component of the corpuscular object, then the other corpuscular object is an instance of island
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 641-646	If a corpuscular object is an instance of game I/O device and another corpuscular object is an instance of accelerometer and the other corpuscular object is a component of the corpuscular object, then the corpuscular object is an instance of game I/O device with accelerometer
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 251-258	If a corpuscular object is an instance of computer keyboard key and the corpuscular objectBOARD1 is an instance of generic computer keyboard and the corpuscular object is a component of the corpuscular objectBOARD1 and the corpuscular objectBOARD2 is an instance of generic computer keyboard and the corpuscular object is a component of the corpuscular objectBOARD2, then the corpuscular objectBOARD1 is equal to the corpuscular objectBOARD2
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 224-237	If a corpuscular object is an instance of middle CI button and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exist a third corpuscular object and a fourth corpuscular object such that the fourth corpuscular object is an instance of right CI button and the third corpuscular object is an instance of left CI button and the fourth corpuscular object is a component of the other corpuscular object and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is between the third corpuscular object and the fourth corpuscular object and the corpuscular object is left to the third corpuscular object and the corpuscular object is right to the fourth corpuscular object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2830-2844	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a web site is an instance of web site and the corpuscular object is a component of the web site and the agent created the corpuscular object and the agent is a registered user of the web site, then the corpuscular object has the purpose there exists an entity such that the entity is an instance of disseminating and the agent is an agent of the entity and the corpuscular object is a patient of the entity and the web site is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3927-3945	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2284-2297	If a corpuscular object is an instance of next generation view item and a process is an instance of web listing and the process is a component of the corpuscular object and an entity is a patient of the process and the entity is an instance of physical, then there exist another process, a third process and the other processCONTENT such that the third process is an instance of stating and the other process is a patient of the third process and the other process includes a reference to the entity and the other processCONTENT is a result of the other process and the other processCONTENT is a part of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2271-2282	If a corpuscular object is an instance of next generation view item and a web site is an instance of web site and the corpuscular object is a component of the web site, then there exist an entity and a web listing such that the entity is an instance of object and the web listing is an instance of web listing and the web listing is a component of the corpuscular object and the web listing is hosted on the web site and the entity is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1776-1787	If a process is an instance of view item request and another process is an instance of accessing web page and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 204-213	If a corpuscular object is an instance of physical right CI button and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exists a third corpuscular object such that the third corpuscular object is an instance of physical left CI button and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is left to the third corpuscular object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1848-1854	If a corpuscular object is an instance of soil and red is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is an attribute of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1840-1846	If a corpuscular object is an instance of soil and yellow is an attribute of the corpuscular object and another corpuscular object is an instance of land area and the corpuscular object is a component of the other corpuscular object, then fertile terrain is not an attribute of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 326-334	If a corpuscular object is an instance of hardware system and another corpuscular object is a component of the corpuscular object and a process is an instance of data transfer and the process originates at the corpuscular object, then the other corpuscular object is an instance of computer network and the other corpuscular object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3539-3562	If a collection is an instance of collection and a corpuscular object is an instance of hyperlink and for all a physical the physical is a member of another collection and the physical is an instance of accessing web page and the other collection is a component of the corpuscular object, then there exists a third collection such that the third collection is an instance of collection and for all a process if the process is an instance of requesting hyperlink and the corpuscular object is a patient of the process, then the process is a member of the third collection and the rate of clicking through the corpuscular object in the collection is equal to the number of instances in the third collection and the number of instances in the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4014-4021	If a corpuscular object is an instance of bed and another corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of bed frame and a third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of mattress, then the third corpuscular object is on to the other corpuscular object

consequent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 63-68	A corpuscular object is an instance of computer hardware if and only if there exists another corpuscular object such that the other corpuscular object is an instance of computer and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10810-10816	A corpuscular object is an instance of vertebrate if and only if there exists another corpuscular object such that the corpuscular object is an instance of animal and the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of spinal column
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2697-2704	If an entity is a member of a list and the list is an instance of search results, then there exists a corpuscular object such that the corpuscular object is an instance of search results page and the list is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 224-237	If a corpuscular object is an instance of middle CI button and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exist a third corpuscular object and a fourth corpuscular object such that the fourth corpuscular object is an instance of right CI button and the third corpuscular object is an instance of left CI button and the fourth corpuscular object is a component of the other corpuscular object and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is between the third corpuscular object and the fourth corpuscular object and the corpuscular object is left to the third corpuscular object and the corpuscular object is right to the fourth corpuscular object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3927-3945	If a search results page is an instance of search results page and a list is an instance of search results and the list is a component of the search results page, then the number of instances in the class described by a symbolic string and length of the list is equal to qualifying clicks on the search results page
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2271-2282	If a corpuscular object is an instance of next generation view item and a web site is an instance of web site and the corpuscular object is a component of the web site, then there exist an entity and a web listing such that the entity is an instance of object and the web listing is an instance of web listing and the web listing is a component of the corpuscular object and the web listing is hosted on the web site and the entity is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 204-213	If a corpuscular object is an instance of physical right CI button and the corpuscular object is a component of another corpuscular object and the other corpuscular object is an instance of computer input device, then there exists a third corpuscular object such that the third corpuscular object is an instance of physical left CI button and the third corpuscular object is a component of the other corpuscular object and the corpuscular object is left to the third corpuscular object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3949-3957	If a corpuscular object is an instance of mountain range and an object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of mountain and the object meets the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3503-3512	If an object is an instance of vehicle wheel and a corpuscular object is an instance of road vehicle and the object is a part of the corpuscular object, then there exists another corpuscular object such that the other corpuscular object is an instance of axle and the other corpuscular object is a component of the corpuscular object and the object is connected to the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4074-4080	If waterbed is an attribute of a corpuscular object, then there exist another corpuscular object and an object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object contains the object and the object is an instance of water
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 921-932	If an identifier is the ID of a web browser when accessing a web site, then there exist a corpuscular object, a process and an agent such that the corpuscular object is an instance of web page and the corpuscular object is a component of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is an instrument for the process and the process ends up at the corpuscular object and the identifier expresses the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11056-11061	If a corpuscular object is capable of doing breathing as a experiencer, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of lung
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2181-2183	If a web page is the home page of a web site, then the web page is a component of the web site
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 157-163	If a web listing is hosted on a web site, then there exists a corpuscular object such that the corpuscular object is an instance of web page and the web listing is a component of the corpuscular object and the corpuscular object is a component of the web site
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1084-1091	If a corpuscular object is an instance of atom, then there exist another corpuscular object and a third corpuscular object such that the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of proton and the third corpuscular object is an instance of electron
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1093-1102	If a corpuscular object is an instance of atom, then for all another corpuscular object and a third corpuscular object if the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of atomic nucleus and the third corpuscular object is an instance of atomic nucleus, then the other corpuscular object is equal to the third corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14321-14332	If a corpuscular object is an instance of bacterium, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of cell and for all a third corpuscular object if the third corpuscular object is a component of the corpuscular object and the third corpuscular object is an instance of cell, then the other corpuscular object is equal to the third corpuscular object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1075-1083	If a corpuscular object is an instance of book, then there exist another corpuscular object and a third corpuscular object such that the other corpuscular object is a component of the corpuscular object and the third corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of printed sheet and the third corpuscular object is an instance of printed sheet and the other corpuscular object is not equal to the third corpuscular object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1039-1044	If a corpuscular object is an instance of hardcopy document, then there exists another corpuscular object such that the other corpuscular object is a component of the corpuscular object and the other corpuscular object is an instance of printed sheet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2438-2443	If a corpuscular object is an instance of crane, then there exists another corpuscular object such that the other corpuscular object is an instance of hoisting device and the other corpuscular object is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15919-15924	If a corpuscular object is an instance of engineering component, then there exists another corpuscular object such that the other corpuscular object is an instance of device and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4957-4962	If a corpuscular object is an instance of concrete, then there exists another corpuscular object such that the other corpuscular object is an instance of cement and the other corpuscular object is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4950-4955	If a corpuscular object is an instance of concrete, then there exists another corpuscular object such that the other corpuscular object is an instance of mineral and the other corpuscular object is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 675-680	If a corpuscular object is an instance of internal hard disk, then there exists another corpuscular object such that the other corpuscular object is an instance of hard disk drive and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11553-11561	If a corpuscular object is an instance of body joint, then there exist another corpuscular object, a third corpuscular object and a fourth corpuscular object such that the other corpuscular object is an instance of skeleton and the third corpuscular object is a component of the other corpuscular object and the fourth corpuscular object is a component of the other corpuscular object and the corpuscular object is a component of the other corpuscular object and the corpuscular object connects the third corpuscular object and the fourth corpuscular object

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: