attribute - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1757-1758
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1754-1756
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1753-1753	The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1749-1749	attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1750-1750	attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1751-1751	attribute is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 1752-1752	attribute is a subrelation of property

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 1765-1765	manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 59-59
No TPTP formula. May not be expressible in strict first order.	english_format.kif 56-56
No TPTP formula. May not be expressible in strict first order.	french_format.kif 56-56
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 8-8
No TPTP formula. May not be expressible in strict first order.	arabic_format.kif 6-6
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 65-65
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 73-73
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 63-63
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2433-2433	bond rating is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16779-16779	color is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2424-2424	credit ranking is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14216-14216	developmental form is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2342-2342	device state is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 86-86	economy type is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 130-130	government type is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1513-1513	hasGUEState is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 118-118	has molecular structural attribute is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2089-2089	host status is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Music.kif 360-360	music genre is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	Government.kif 2542-2542	organizational objective is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 60-60	"属于" is the printable form of attribute in ChineseLanguage

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.	People.kif 797-801	An entity is an attribute of an object and the entity is an instance of christian if and only if the object is a member of christianity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18563-18570	An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an entity such that the entity is an instance of consciousness attribute and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27891-27901	An object is an instance of body part and Bare is an attribute of the object holds during an entity if and only if there doesn't exist another object such that the other object is an instance of clothing and the other object covers the object holds during the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12442-12446	Literacy attribute is an attribute of an agent if and only if the agent has skill to do reading and the agent has skill to do writing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9854-9859	Fillable is an attribute of an object if and only if there exists another object such that the other object is an instance of hole and the object is a part of the other object
No TPTP formula. May not be expressible in strict first order.	People.kif 678-680	A member of a belief group is an attribute of an object if and only if the object is a member of the belief group
No TPTP formula. May not be expressible in strict first order.	People.kif 704-706	Agnostic is an attribute of an object if and only if the object is a member of agnosticism
No TPTP formula. May not be expressible in strict first order.	People.kif 1348-1350	Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1227-1229	Anglican is an attribute of an object if and only if the object is a member of anglicanism
No TPTP formula. May not be expressible in strict first order.	People.kif 1235-1237	Anglican is an attribute of an object if and only if the object is a member of church of england
No TPTP formula. May not be expressible in strict first order.	People.kif 722-724	Atheist is an attribute of an object if and only if the object is a member of atheism
No TPTP formula. May not be expressible in strict first order.	People.kif 759-761	Bahai is an attribute of an object if and only if the object is a member of bahaism
No TPTP formula. May not be expressible in strict first order.	People.kif 771-773	Buddhist is an attribute of an object if and only if the object is a member of buddhism
No TPTP formula. May not be expressible in strict first order.	People.kif 1308-1310	Confucianist is an attribute of an object if and only if the object is a member of confucianism
No TPTP formula. May not be expressible in strict first order.	People.kif 1361-1363	Druze muslim is an attribute of an object if and only if the object is a member of druze sect
No TPTP formula. May not be expressible in strict first order.	People.kif 1249-1251	Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
No TPTP formula. May not be expressible in strict first order.	People.kif 1320-1322	Hindu is an attribute of an object if and only if the object is a member of hinduism
No TPTP formula. May not be expressible in strict first order.	People.kif 1409-1411	Jain is an attribute of an object if and only if the object is a member of jainism
No TPTP formula. May not be expressible in strict first order.	People.kif 1332-1334	Muslim is an attribute of an object if and only if the object is a member of islam
No TPTP formula. May not be expressible in strict first order.	People.kif 1455-1457	Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
No TPTP formula. May not be expressible in strict first order.	People.kif 1263-1265	Protestant is an attribute of an object if and only if the object is a member of protestantism
No TPTP formula. May not be expressible in strict first order.	People.kif 1426-1428	Religious jew is an attribute of an object if and only if the object is a member of judaism
No TPTP formula. May not be expressible in strict first order.	People.kif 1285-1287	Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
No TPTP formula. May not be expressible in strict first order.	People.kif 1277-1279	Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
No TPTP formula. May not be expressible in strict first order.	People.kif 1376-1378	Shia muslim is an attribute of an object if and only if the object is a member of shiite sect

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.	Merge.kif 18563-18570	An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an entity such that the entity is an instance of consciousness attribute and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17466-17472	A cognitive agent is an instance of human and for all an agent the agent doesn't employ the cognitive agent if and only if unemployed is an attribute of the cognitive agent
No TPTP formula. May not be expressible in strict first order.	Government.kif 1360-1364	Queen is an attribute of an object if and only if QueenRegnant is an attribute of the object or QueenConsort is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	People.kif 411-442	The female life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 367-398	The male life expectancy at birth of a geopolitical area and the year an integer is equal to a real number if and only if there exists a list such that the list is an instance of list and length of the list is an instance of a number and for all the listITEM if the listITEM is a member of the list, then the listITEM is an instance of another real number and there doesn't exist another entity such that the other entity is an instance of the other real number and the other entity is not a member of the list and the number is equal to the number of instances in the class described by the other real number and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order.	People.kif 221-238	The male to female ratio of a geopolitical area is equal to a real number if and only if a number is equal to the number of instances in the class described by an organism and another number is equal to the number of instances in the class described by another organism and the number and the other number is equal to the real number
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13490-13496	There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17591-17595	An object is an instance of bull if and only if the object is an instance of cow and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17583-17587	An object is an instance of calf if and only if the object is an instance of cow and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17600-17604	An object is an instance of female cow if and only if the object is an instance of cow and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27811-27815	An object is an instance of DamagedVehicle if and only if the object is an instance of vehicle and DeviceDamaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17617-17621	An object is an instance of hen if and only if the object is an instance of chicken and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8640-8644	An object is an instance of ice if and only if the object is an instance of water and solid is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17570-17574	An object is an instance of lamb if and only if the object is an instance of sheep and non fully formed is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17868-17873	An object is an instance of substance if and only if there exists an entity such that the entity is an instance of physical state and the entity is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17626-17630	An object is an instance of rooster if and only if the object is an instance of chicken and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2706	If an organization provides a hotel package, then traveler accommodation is an attribute of the organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14148-14157	If a human's almaMater is a post secondary school, then there exists a process such that the process is an instance of educational process and the process ends up at the human and the process is located at 2 and student is an attribute of the human holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16090-16096	If an agent is an agent of a process and an entity is a result of the process and the entity is an instance of art work, then Artist is an attribute of the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 193-210	If muslim is an attribute of an agent and value of belongings of the agent is equal to a currency measure, then the statement there exist a process and a physical such that the process is an instance of zakat and a time interval is an instance of year and the time interval takes place during the time of existence of the agent and fully formed is an attribute of the agent holds during the time interval and the agent is an agent of the process and the physical is a patient of the process and value of the physical is another currency measure and the other currency measure is greater than the currency measure and 0.025 has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10243-10253	If an entity is an attribute of an object and the entity is an instance of fingerprint and the object is not an instance of finger, then there exist the entityR and another object such that the other object is an instrument for the entityR and the other object is an instance of finger and the entity is an attribute of the other object and the object is a patient of the entityR
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17558-17571	If an attribute is an attribute of an object and the attribute is an instance of subjective assessment attribute, then there exist an entity, a process and an agent such that the process is an instance of judging and the agent is an agent of the process and the object is a patient of the process and the attribute is an attribute of the object is a patient of the process and the agent believes the object has an attribute the attribute holds during the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17991-18000	If monochromatic is an attribute of an object and another object is a superficial part of the object and an entity is an attribute of the other object and the entity is an instance of primary color, then for all a third object if the third object is a superficial part of the object, then the entity is an attribute of the third object
No TPTP formula. May not be expressible in strict first order.	Military.kif 286-297	If an entity is an attribute of an agent and the entity is an instance of commissioned officer rank, then there exist a process and an object such that the process is an instance of managing and the agent is an agent of the process and the object is a patient of the process and the object is an instance of military organization or soldier is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16863-16873	If stressed is an attribute of an object and another object is an instance of word and the object is a part of the other object, then there doesn't exist the object2 such that the object2 is an instance of syllable and the object2 is a part of the other object and stressed is an attribute of the object2 and the object2 is not equal to the object

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.	Government.kif 1202-1209	For all an agent, another agent,, , an election and a process if the election is an instance of the election of the agent and the process is an instance of the voting of the election and the other agent is an agent of the process, then male is an attribute of the other agent contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order.	WMD.kif 870-878	A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of biochemical agent biochemical agent antidote a kind of biologically active substance for a kind of process and an entity is an instance of a kind of biologically active substance and another process is an instance of a kind of process and an agent experiences the other process and the kind of biologically active substance is a patient of the other process decreases likelihood of the disease or syndrome is an attribute of the agent
No TPTP formula. May not be expressible in strict first order.	Military.kif 867-876	The available for military service male of a geopolitical area is equal to the number of instances in the class described by an organism
No TPTP formula. May not be expressible in strict first order.	People.kif 462-472	The children born per woman of a geopolitical area and the year an integer is equal to the number of instances in the class described by an agent
No TPTP formula. May not be expressible in strict first order.	Military.kif 890-901	The fit for military service male of a geopolitical area is equal to the number of instances in the class described by an organism
No TPTP formula. May not be expressible in strict first order.	Military.kif 928-941	The reaching military age annually male of a geopolitical area and a year is equal to the number of instances in the class described by an organism
No TPTP formula. May not be expressible in strict first order.	Food.kif 297-298	There exist a meal and a region such that the appropriate meal for the meal in the region is an attribute of the meal
No TPTP formula. May not be expressible in strict first order.	WMD.kif 761-767	A disease or syndrome is a biochemical agent syndrome of a kind of biochemical agent and a kind of process is a biochemical agent delivery of a kind of biochemical agent and another process is an instance of a kind of process and an agent experiences the other process increases likelihood of the disease or syndrome is an attribute of the agent

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: