Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - attribute
attribute

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1714-1715
No TPTP formula. May not be expressible in strict first order. Merge.kif 1718-1720
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 318-319
No TPTP formula. May not be expressible in strict first order. Merge.kif 1715-1715 The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1716-1716 The number 2 argument of attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1710-1710 attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1713-1713 attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1711-1711 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1712-1712 attribute is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1714-1714 attribute is a subrelation of property

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1729-1729 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 59-59 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. english_format.kif 59-59 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. french_format.kif 56-56 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1878-1878 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 8-8 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 73-73 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. relations-de.txt 65-65 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 73-73 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 75-75 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 55-55 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. relations-cb.txt 63-63 manner and attribute are disjoint
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2527-2527 bond rating is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20929-20929 color is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2518-2518 credit ranking is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 14459-14459 developmental form is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2343-2343 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 1882-1882 has GUE state is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 167-167 has molecular structural attribute is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2241-2241 host status is a subrelation of attribute

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. Mid-level-ontology.kif 32098-32108 An entity is an instance of body part and bare is an attribute of the entity holds during a time position if and only if there doesn't exist another entity such that the other entity is an instance of clothing and the other entity covers the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16373-16377 Literacy attribute is an attribute of an agent if and only if the agent has the skill to do reading and the agent has the skill to do writing
No TPTP formula. May not be expressible in strict first order. People.kif 676-678 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 702-704 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 1226-1228 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 1234-1236 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 720-722 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 757-759 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 769-771 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. Economy.kif 925-927 Capitalist is an attribute of an object if and only if the object is a member of capitalism
No TPTP formula. May not be expressible in strict first order. Economy.kif 895-897 Communism is an attribute of an object if and only if the object is a member of communism
No TPTP formula. May not be expressible in strict first order. People.kif 1307-1309 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 1362-1364 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 1248-1250 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 1319-1321 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 1412-1414 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 1331-1333 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 1458-1460 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 1262-1264 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 1429-1431 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 1284-1286 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 1276-1278 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 1378-1380 Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
No TPTP formula. May not be expressible in strict first order. People.kif 1473-1475 Shintoist is an attribute of an object if and only if the object is a member of shinto

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. People.kif 357-390 A year is an instance of the year the yearEAR and the male life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. People.kif 403-436 A year is an instance of the year an integer and the female life expectancy at birth of a geopolitical area and the year is equal to a real number if and only if there exist a list, another integer,, , a symbolic string,, , an entity,, , another entity and a third entity such that the list is an instance of list and length of the list is an instance of the other integer and for all the listITEM and the real number is an average of the list
No TPTP formula. May not be expressible in strict first order. Government.kif 1362-1366 Queen is an attribute of an object if and only if Queen regnant is an attribute of the object or Queen consort is an attribute of the object
No TPTP formula. May not be expressible in strict first order. People.kif 206-223 The male to female ratio of a geopolitical area is equal to a real number if and only if an integer is equal to the number of instances in the class described by a symbolic string and another integer is equal to the number of instances in the class described by another symbolic string and the integer and the other integer is equal to the real number
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1776-1780 A human can hear frequency of -10 dB(A)(s) at 15 dB(A)(s) decibels if and only if normal hearing sensitivity is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1787-1791 A human can hear frequency of 16 dB(A)(s) at 25 dB(A)(s) decibels if and only if borderline hearing sensitivity is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1798-1802 A human can hear frequency of 26 dB(A)(s) at 40 dB(A)(s) decibels if and only if mild hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1808-1812 A human can hear frequency of 41 dB(A)(s) at 55 dB(A)(s) decibels if and only if moderate hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1819-1823 A human can hear frequency of 56 dB(A)(s) at 70 dB(A)(s) decibels if and only if moderately severe hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1830-1834 A human can hear frequency of 71 dB(A)(s) at 90 dB(A)(s) decibels if and only if severe hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1841-1845 A human can hear frequency of 91 dB(A)(s) at 200 dB(A)(s) decibels if and only if profound hearing loss is an attribute of the human
No TPTP formula. May not be expressible in strict first order. Merge.kif 17414-17422 An entity is an instance of human and for all another entity the other entity doesn't employ the entity holds during a time position if and only if unemployed person is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21817-21821 An object is an instance of bull if and only if the object is an instance of cattle and female is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21835-21839 An object is an instance of bull if and only if the object is an instance of cattle and male is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21826-21830 An object is an instance of calf if and only if the object is an instance of cattle 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 31988-31992 An object is an instance of damaged vehicle if and only if the object is an instance of vehicle and device damaged is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21849-21853 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 10185-10189 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 21803-21807 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. Mid-level-ontology.kif 21858-21862 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 2779-2781
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18239-18248
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22377-22384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20408-20414
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 204-223

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. People.kif 456-469 A year is an instance of the year an integer and the children born per woman of a geopolitical area and the year is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Government.kif 1203-1210 For all ?AGENT, ?VOTER,, , ?ELECTION and ?VOTING contains information exclusive male suffrage
No TPTP formula. May not be expressible in strict first order. WMD.kif 921-929 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?AGENT biochemical agent antidote ?SUBSTANCE for ?PROCESS and ?SAMPLE is an instance of ?SUBSTANCE and ?THERAPY is an instance of ?PROCESS and ?ORGANISM experiences ?THERAPY and ?SAMPLE is a patient of ?THERAPY decreases likelihood of ?SYMPTOM is an attribute of ?ORGANISM
No TPTP formula. May not be expressible in strict first order. Military.kif 940-949 The available for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 963-974 The fit for military service male of a geopolitical area is equal to the number of instances in the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 1001-1014 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 a symbolic string
No TPTP formula. May not be expressible in strict first order. Medicine.kif 4597-4600 There exists a cognitive agent such that NewReporter is an attribute of the cognitive agent and Pro Publica Inc. employs the cognitive agent
No TPTP formula. May not be expressible in strict first order. Food.kif 1908-1909 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 767-773 ?SYMPTOM is a biochemical agent syndrome of ?AGENT and ?PROCESSTYPE is a biochemical agent delivery of ?AGENT and ?PROCESS is an instance of ?PROCESSTYPE and ?ORGANISM experiences ?PROCESS increases likelihood of ?SYMPTOM is an attribute of ?ORGANISM

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22018-22018 Fodder is an attribute of hay
No TPTP formula. May not be expressible in strict first order. Geography.kif 4751-4751 Polar climate zone is an attribute of southern ocean
No TPTP formula. May not be expressible in strict first order. Medicine.kif 15-15 Relational attribute is an attribute of tourniquet


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