component - Sigma 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 963-968
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 153-156
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 178-183
No TPTP formula. May not be expressible in strict first order.	Merge.kif 960-960	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 961-961	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 959-959	component is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 958-958	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.	french_format.kif 62-62
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 48-48
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1886-1886
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 14-14
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 67-67
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 83-83
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 90-90
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 81-81
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 61-61
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 82-82
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1729-1729	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 76-76	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16215-16215	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16214-16214	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16213-16213	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 22-22	power component is a subrelation of component
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 113-113	power component is a subrelation of component

antecedent

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5914-5918	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 3721-3739	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 2078-2091	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 2065-2076	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 1570-1581	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 1831-1837	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 1823-1829	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 3333-3356	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 4047-4054	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 11768-11774	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 2491-2498	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 3721-3739	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 2065-2076	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 4085-4093	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 3531-3540	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 4107-4113	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.	Mid-level-ontology.kif 12015-12020	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 1975-1977	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.	Merge.kif 14529-14540	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 2466-2471	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 16159-16164	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 6125-6130	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 6118-6123	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 12531-12539	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
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 262-267	If a corpuscular object is an instance of generic computer keyboard, then there exists another corpuscular object such that the other corpuscular object is an instance of computer keyboard key and the other corpuscular object is a component of the corpuscular object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1989-1994	If a corpuscular object is an instance of module, then there exists another corpuscular object such that the other corpuscular object is an instance of web page and the corpuscular object is a component of the other corpuscular object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1142-1149	If a corpuscular object is an instance of atomic nucleus, 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 neutron and the third corpuscular object is an instance of proton
No TPTP formula. May not be expressible in strict first order.	Media.kif 1309-1314	If a corpuscular object is an instance of tape cassette, then there exists another corpuscular object such that the other corpuscular object is an instance of recording tape and the other corpuscular object is a component of the corpuscular object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: