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 945-950
No TPTP formula. May not be expressible in strict first order.	Merge.kif 942-942	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 943-943	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 941-941	component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 940-940	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 1689-1689	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 16191-16191
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

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5742-5746	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 GameIODevice 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 GameIODeviceWithAccelerometer
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 251-258	If a corpuscular object is an instance of ComputerKeyboardKey and the corpuscular objectBOARD1 is an instance of ComputerKeyboard_Generic and the corpuscular object is a component of the corpuscular objectBOARD1 and the corpuscular objectBOARD2 is an instance of ComputerKeyboard_Generic 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 MiddleCIButton 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 RightCIButton and the third corpuscular object is an instance of LeftCIButton 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 2826-2840	If a corpuscular object is an instance of digital post and an agent is an instance of agent and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite and the agent created the corpuscular object and the agent is a registered user of the WebSite, 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 WebSite is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3928-3946	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 2287-2300	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 2274-2285	If a corpuscular object is an instance of next generation view item and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite, 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 WebSite and the entity is a patient of the web listing
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1777-1788	If a process is an instance of view item request and another process is an instance of AccessingWebPage 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 PhysicalRightCIButton 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 PhysicalLeftCIButton 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 1846-1852	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 1838-1844	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 324-332	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 3541-3564	If a collection is an instance of collection and a hyperlink 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 AccessingWebPage and the other collection is a component of the hyperlink, 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 RequestingHyperlink and the hyperlink is a patient of the process, then the process is a member of the third collection and the rate of clicking through the hyperlink 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 3952-3959	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 10447-10453	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 2701-2708	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 MiddleCIButton 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 RightCIButton and the third corpuscular object is an instance of LeftCIButton 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 3928-3946	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 2274-2285	If a corpuscular object is an instance of next generation view item and a WebSite is an instance of WebSite and the corpuscular object is a component of the WebSite, 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 WebSite 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 PhysicalRightCIButton 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 PhysicalLeftCIButton 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 3938-3946	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 3490-3499	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 4005-4011	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 WebSite, then there exist a corpuscular object, a process and an agent such that the corpuscular object is an instance of WebPage and the corpuscular object is a component of the WebSite and the process is an instance of AccessingWebPage 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 10693-10698	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 2184-2186	If a WebPage is the home page of a WebSite, then the WebPage is a component of the WebSite
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 157-163	If a web listing is hosted on a WebSite, then there exists a corpuscular object such that the corpuscular object is an instance of WebPage and the web listing is a component of the corpuscular object and the corpuscular object is a component of the WebSite
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1065-1072	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 1074-1083	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 14191-14202	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 PrintedSheet and the third corpuscular object is an instance of PrintedSheet 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 HardcopyDocument, 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 PrintedSheet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2428-2433	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 15784-15789	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 4953-4958	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 4946-4951	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 InternalHardDisk, 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 11188-11196	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: