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

Formal Language: 



KB Term:  Term intersection
English Word: 

  attribute

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 1669-1671
No TPTP formula. May not be expressible in strict first order. Merge.kif 1666-1666 The number 1 argument of attribute is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 1667-1667 The number 2 argument of attribute is an instance of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 1661-1661 attribute is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1664-1664 attribute is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 1662-1662 attribute is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1663-1663 attribute is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 1665-1665 attribute is a subrelation of property

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1680-1680 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 59-59
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2518-2518 bond rating is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18733-18733 color is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2509-2509 credit ranking is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Merge.kif 14060-14060 developmental form is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1839-1839 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 1879-1879 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 2114-2114 host status is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Music.kif 339-339 music genre is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. Government.kif 2592-2592 organizational objective is a subrelation of attribute
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 60-60

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29580-29590 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 14468-14472 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. Merge.kif 9875-9880 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 686-688 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 712-714 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 1357-1359 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 1235-1237 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 1243-1245 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 730-732 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 767-769 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 779-781 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 1316-1318 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 1371-1373 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 1257-1259 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 1328-1330 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 1421-1423 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 1340-1342 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 1467-1469 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 1271-1273 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 1438-1440 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 1293-1295 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 1285-1287 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 1387-1389 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 1482-1484 Shintoist is an attribute of an object if and only if the object is a member of shinto
No TPTP formula. May not be expressible in strict first order. People.kif 1497-1499 Sikh is an attribute of an object if and only if the object is a member of sikhism

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 372-405 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 exists a list such that the list is an instance of list and length of the list is an instance of another 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 1397-1401 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 418-449 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 another 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 225-242 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. Merge.kif 17007-17015 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 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 19540-19544 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 19531-19535 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 19549-19553 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 29496-29500 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 19563-19567 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 8586-8590 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 19517-19521 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 19572-19576 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 2737-2739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16295-16304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20101-20108
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18212-18218
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12018-12028
No TPTP formula. May not be expressible in strict first order. Merge.kif 17085-17098
No TPTP formula. May not be expressible in strict first order. Merge.kif 17432-17441
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18818-18828
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25078-25087
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1454-1465

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 1238-1245 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 917-925 ?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 872-881 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. People.kif 469-479 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 a symbolic string
No TPTP formula. May not be expressible in strict first order. Military.kif 895-906 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 933-946 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. Food.kif 230-231 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. Geography.kif 4580-4580 Polar climate zone is an attribute of southern ocean


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

Show without tree


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