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
-------------------------


s__documentation(s__attribute__m,s__ChineseLanguage,'"(attribute ?OBJECT ?PROPERTY) 的意思是 ?PROPERTY 是 ?OBJECT 的 Attribute。例如：(attribute MyLittleRedWagon Red)。"')

 chinese_format.kif 1714-1715
s__documentation(s__attribute__m,s__EnglishLanguage,'"(attribute ?OBJECT ?PROPERTY) means that ?PROPERTY is a Attribute of ?OBJECT. For example, (attribute MyLittleRedWagon Red)."')

 Merge.kif 1666-1668
s__domain(s__attribute__m,n__1,s__Object)

 Merge.kif 1663-1663 The number 1 argument of attribute is an instance of object
s__domain(s__attribute__m,n__2,s__Attribute)

 Merge.kif 1664-1664 The number 2 argument of attribute is an instance of attribute
s__instance(s__attribute__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__Class)

 Merge.kif 1658-1658 attribute is an instance of asymmetric relation
s__instance(s__attribute__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

 Merge.kif 1661-1661 attribute is an instance of binary predicate
s__instance(s__IrreflexiveRelation,s__Class)

s__instance(s__attribute__m,s__IrreflexiveRelation)

 Merge.kif 1659-1659 attribute is an instance of irreflexive relation
s__instance(s__TotalValuedRelation,s__Class)

s__instance(s__attribute__m,s__TotalValuedRelation)

 Merge.kif 1660-1660 attribute is an instance of total valued relation
s__subrelation(s__attribute__m,s__property__m)

 Merge.kif 1662-1662 attribute is a subrelation of property

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


s__disjointRelation(s__manner__m,s__attribute__m)

 Merge.kif 1677-1677 manner and attribute are disjoint
s__format(s__ChineseLanguage,s__attribute__m,'"%2 %n 是 %1 的 attribute"')

 chinese_format.kif 59-59
s__format(s__EnglishLanguage,s__attribute__m,'"%2 is %n an attribute of %1"')

 english_format.kif 59-59
s__subrelation(s__bondRating__m,s__attribute__m)

 FinancialOntology.kif 2472-2472 bond rating is a subrelation of attribute
s__subrelation(s__color__m,s__attribute__m)

 Mid-level-ontology.kif 18564-18564 color is a subrelation of attribute
s__subrelation(s__creditRanking__m,s__attribute__m)

 FinancialOntology.kif 2463-2463 credit ranking is a subrelation of attribute
s__subrelation(s__developmentalForm__m,s__attribute__m)

 Merge.kif 13681-13681 developmental form is a subrelation of attribute
s__subrelation(s__deviceState__m,s__attribute__m)

 Mid-level-ontology.kif 1818-1818 device state is a subrelation of attribute
s__subrelation(s__economyType__m,s__attribute__m)

 Economy.kif 86-86 economy type is a subrelation of attribute
s__subrelation(s__governmentType__m,s__attribute__m)

 Government.kif 130-130 government type is a subrelation of attribute
s__subrelation(s__hasGUEState__m,s__attribute__m)

 ComputerInput.kif 1911-1911 hasGUEState is a subrelation of attribute
s__subrelation(s__hasMolecularStructuralAttribute__m,s__attribute__m)

 VirusProteinAndCellPart.kif 118-118 has molecular structural attribute is a subrelation of attribute
s__subrelation(s__hostStatus__m,s__attribute__m)

 QoSontology.kif 2115-2115 host status is a subrelation of attribute
s__subrelation(s__musicGenre__m,s__attribute__m)

 Music.kif 339-339 music genre is a subrelation of attribute
s__subrelation(s__organizationalObjective__m,s__attribute__m)

 Government.kif 2581-2581 organizational objective is a subrelation of attribute
s__termFormat(s__ChineseLanguage,s__attribute__m,'"属于"')

 chinese_format.kif 60-60

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


( ! [V__AGENT] :
   ((((s__instance(V__AGENT,s__SentientAgent) &
           s__attribute(V__AGENT,s__Living))
         =>
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
               s__attribute(V__AGENT,V__ATTR)))))
     &
     (( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
             s__attribute(V__AGENT,V__ATTR))))
     =>
     (s__instance(V__AGENT,s__SentientAgent) &
       s__attribute(V__AGENT,s__Living))))
)
)

 Merge.kif 17590-17597 An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29410-29420 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
( ! [V__H] :
   ((s__instance(V__H,s__Agent) =>
       (((s__attribute(V__H,s__LiteracyAttribute) =>
             (s__hasSkill(s__Reading,V__H)
             &
             s__hasSkill(s__Writing,V__H)))
       &
       ((s__hasSkill(s__Reading,V__H)
         &
         s__hasSkill(s__Writing,V__H))
     =>
     s__attribute(V__H,s__LiteracyAttribute)))))
)
)

 Mid-level-ontology.kif 14299-14303 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
( ! [V__HOLE1] :
   ((s__instance(V__HOLE1,s__Object) =>
       (((s__attribute(V__HOLE1,s__Fillable) =>
             ( ? [V__HOLE2] :
               ((s__instance(V__HOLE2,s__Hole) &
                   s__part(V__HOLE1,V__HOLE2)))))
         &
         (( ? [V__HOLE2] :
             ((s__instance(V__HOLE2,s__Hole) &
                 s__part(V__HOLE1,V__HOLE2))))
         =>
         s__attribute(V__HOLE1,s__Fillable)))))
)
)

 Merge.kif 9573-9578 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
( ! [V__BG,V__I] :
   (((s__instance(V__BG,s__BeliefGroup) &
         s__instance(V__I,s__Object))
       =>
       (((s__attribute(V__I,s__BeliefGroupMemberFn(V__BG))
         =>
         s__member(V__I,V__BG))
     &
     (s__member(V__I,V__BG)
     =>
     s__attribute(V__I,s__BeliefGroupMemberFn(V__BG))))))
)
)

 People.kif 683-685 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
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Agnostic) =>
             s__member(V__INDIVIDUAL,s__Agnosticism))
           &
           (s__member(V__INDIVIDUAL,s__Agnosticism) =>
             s__attribute(V__INDIVIDUAL,s__Agnostic)))))
     )
   )

 People.kif 709-711 Agnostic is an attribute of an object if and only if the object is a member of agnosticism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__AhmadiyyaMuslim) =>
             s__member(V__INDIVIDUAL,s__AhmadiyyaSect))
           &
           (s__member(V__INDIVIDUAL,s__AhmadiyyaSect) =>
             s__attribute(V__INDIVIDUAL,s__AhmadiyyaMuslim)))))
     )
   )

 People.kif 1354-1356 Ahmadiyya muslim is an attribute of an object if and only if the object is a member of ahmadiyya sect
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Anglican) =>
             s__member(V__INDIVIDUAL,s__Anglicanism))
           &
           (s__member(V__INDIVIDUAL,s__Anglicanism) =>
             s__attribute(V__INDIVIDUAL,s__Anglican)))))
     )
   )

 People.kif 1232-1234 Anglican is an attribute of an object if and only if the object is a member of anglicanism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Anglican) =>
             s__member(V__INDIVIDUAL,s__ChurchOfEngland))
           &
           (s__member(V__INDIVIDUAL,s__ChurchOfEngland) =>
             s__attribute(V__INDIVIDUAL,s__Anglican)))))
     )
   )

 People.kif 1240-1242 Anglican is an attribute of an object if and only if the object is a member of church of england
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Atheist) =>
             s__member(V__INDIVIDUAL,s__Atheism))
           &
           (s__member(V__INDIVIDUAL,s__Atheism) =>
             s__attribute(V__INDIVIDUAL,s__Atheist)))))
     )
   )

 People.kif 727-729 Atheist is an attribute of an object if and only if the object is a member of atheism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Bahai) =>
             s__member(V__INDIVIDUAL,s__Bahaism))
           &
           (s__member(V__INDIVIDUAL,s__Bahaism) =>
             s__attribute(V__INDIVIDUAL,s__Bahai)))))
     )
   )

 People.kif 764-766 Bahai is an attribute of an object if and only if the object is a member of bahaism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Buddhist) =>
             s__member(V__INDIVIDUAL,s__Buddhism))
           &
           (s__member(V__INDIVIDUAL,s__Buddhism) =>
             s__attribute(V__INDIVIDUAL,s__Buddhist)))))
     )
   )

 People.kif 776-778 Buddhist is an attribute of an object if and only if the object is a member of buddhism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Confucianist) =>
             s__member(V__INDIVIDUAL,s__Confucianism))
           &
           (s__member(V__INDIVIDUAL,s__Confucianism) =>
             s__attribute(V__INDIVIDUAL,s__Confucianist)))))
     )
   )

 People.kif 1313-1315 Confucianist is an attribute of an object if and only if the object is a member of confucianism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__DruzeMuslim) =>
             s__member(V__INDIVIDUAL,s__DruzeSect))
           &
           (s__member(V__INDIVIDUAL,s__DruzeSect) =>
             s__attribute(V__INDIVIDUAL,s__DruzeMuslim)))))
     )
   )

 People.kif 1368-1370 Druze muslim is an attribute of an object if and only if the object is a member of druze sect
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__EasternOrthodoxChristian) =>
             s__member(V__INDIVIDUAL,s__EasternOrthodoxChristianity))
           &
           (s__member(V__INDIVIDUAL,s__EasternOrthodoxChristianity) =>
             s__attribute(V__INDIVIDUAL,s__EasternOrthodoxChristian)))))
     )
   )

 People.kif 1254-1256 Eastern orthodox christian is an attribute of an object if and only if the object is a member of eastern orthodox christianity
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Hindu) =>
             s__member(V__INDIVIDUAL,s__Hinduism))
           &
           (s__member(V__INDIVIDUAL,s__Hinduism) =>
             s__attribute(V__INDIVIDUAL,s__Hindu)))))
     )
   )

 People.kif 1325-1327 Hindu is an attribute of an object if and only if the object is a member of hinduism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Jain) =>
             s__member(V__INDIVIDUAL,s__Jainism))
           &
           (s__member(V__INDIVIDUAL,s__Jainism) =>
             s__attribute(V__INDIVIDUAL,s__Jain)))))
     )
   )

 People.kif 1418-1420 Jain is an attribute of an object if and only if the object is a member of jainism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Muslim) =>
             s__member(V__INDIVIDUAL,s__Islam))
           &
           (s__member(V__INDIVIDUAL,s__Islam) =>
             s__attribute(V__INDIVIDUAL,s__Muslim)))))
     )
   )

 People.kif 1337-1339 Muslim is an attribute of an object if and only if the object is a member of islam
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Neopaganismist) =>
             s__member(V__INDIVIDUAL,s__Neopaganism))
           &
           (s__member(V__INDIVIDUAL,s__Neopaganism) =>
             s__attribute(V__INDIVIDUAL,s__Neopaganismist)))))
     )
   )

 People.kif 1464-1466 Neopaganismist is an attribute of an object if and only if the object is a member of neopaganism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Protestant) =>
             s__member(V__INDIVIDUAL,s__Protestantism))
           &
           (s__member(V__INDIVIDUAL,s__Protestantism) =>
             s__attribute(V__INDIVIDUAL,s__Protestant)))))
     )
   )

 People.kif 1268-1270 Protestant is an attribute of an object if and only if the object is a member of protestantism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__ReligiousJew) =>
             s__member(V__INDIVIDUAL,s__Judaism))
           &
           (s__member(V__INDIVIDUAL,s__Judaism) =>
             s__attribute(V__INDIVIDUAL,s__ReligiousJew)))))
     )
   )

 People.kif 1435-1437 Religious jew is an attribute of an object if and only if the object is a member of judaism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__RomanCatholic) =>
             s__member(V__INDIVIDUAL,s__RomanCatholicChurch))
           &
           (s__member(V__INDIVIDUAL,s__RomanCatholicChurch) =>
             s__attribute(V__INDIVIDUAL,s__RomanCatholic)))))
     )
   )

 People.kif 1290-1292 Roman catholic is an attribute of an object if and only if the object is a member of roman catholic church
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__RomanCatholic) =>
             s__member(V__INDIVIDUAL,s__RomanCatholicism))
           &
           (s__member(V__INDIVIDUAL,s__RomanCatholicism) =>
             s__attribute(V__INDIVIDUAL,s__RomanCatholic)))))
     )
   )

 People.kif 1282-1284 Roman catholic is an attribute of an object if and only if the object is a member of roman catholicism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__ShiaMuslim) =>
             s__member(V__INDIVIDUAL,s__ShiiteSect))
           &
           (s__member(V__INDIVIDUAL,s__ShiiteSect) =>
             s__attribute(V__INDIVIDUAL,s__ShiaMuslim)))))
     )
   )

 People.kif 1384-1386 Shia muslim is an attribute of an object if and only if the object is a member of shiite sect
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Shintoist) =>
             s__member(V__INDIVIDUAL,s__Shinto))
           &
           (s__member(V__INDIVIDUAL,s__Shinto) =>
             s__attribute(V__INDIVIDUAL,s__Shintoist)))))
     )
   )

 People.kif 1479-1481 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
-------------------------


( ! [V__AGENT] :
   ((((s__instance(V__AGENT,s__SentientAgent) &
           s__attribute(V__AGENT,s__Living))
         =>
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
               s__attribute(V__AGENT,V__ATTR)))))
     &
     (( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__ConsciousnessAttribute) &
             s__attribute(V__AGENT,V__ATTR))))
     =>
     (s__instance(V__AGENT,s__SentientAgent) &
       s__attribute(V__AGENT,s__Living))))
)
)

 Merge.kif 17590-17597 An object is an instance of sentient agent and living is an attribute of the object if and only if there exists an attribute such that the attribute is an instance of consciousness attribute and the attribute is an attribute of the object
( ! [V__PERSON] :
   ((((s__instance(V__PERSON,s__Human) &
           ( ! [V__ORG] :
             ((s__instance(V__ORG,s__Agent) =>
                 (~(s__employs(V__ORG,V__PERSON)))))))
       =>
       s__attribute(V__PERSON,s__Unemployed))
     &
     (s__attribute(V__PERSON,s__Unemployed) =>
       (s__instance(V__PERSON,s__Human) &
         ( ! [V__ORG] :
           ((s__instance(V__ORG,s__Agent) =>
               (~(s__employs(V__ORG,V__PERSON)))))))))
)
)

 Merge.kif 16564-16570 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
( ! [V__Q] :
   ((s__instance(V__Q,s__Object) =>
       (((s__attribute(V__Q,s__Queen) =>
             (s__attribute(V__Q,s__QueenRegnant) |
               s__attribute(V__Q,s__QueenConsort)))
           &
           ((s__attribute(V__Q,s__QueenRegnant) |
               s__attribute(V__Q,s__QueenConsort))
             =>
             s__attribute(V__Q,s__Queen)))))
     )
   )

 Government.kif 1386-1390 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 415-446 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 371-402 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 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
( ! [V__REGION] :
   (((( ? [V__EMIT] :
           ((s__instance(V__EMIT,s__RadiatingLight) &
               s__patient(V__EMIT,V__REGION)
             &
             s__instance(V__REGION,s__Region))))
       =>
       s__attribute(V__REGION,s__Illuminated))
     &
     (s__attribute(V__REGION,s__Illuminated) =>
       ( ? [V__EMIT] :
         ((s__instance(V__EMIT,s__RadiatingLight) &
             s__patient(V__EMIT,V__REGION)
           &
           s__instance(V__REGION,s__Region))))))
)
)

 Merge.kif 13044-13050 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
( ! [V__B] :
   (((s__instance(V__B,s__Bull) =>
         (s__instance(V__B,s__Cow) &
           s__attribute(V__B,s__Male)))
       &
       ((s__instance(V__B,s__Cow) &
           s__attribute(V__B,s__Male))
         =>
         s__instance(V__B,s__Bull)))
     )
   )

 Mid-level-ontology.kif 19371-19375 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
( ! [V__C] :
   (((s__instance(V__C,s__Calf) =>
         (s__instance(V__C,s__Cow) &
           s__attribute(V__C,s__NonFullyFormed)))
       &
       ((s__instance(V__C,s__Cow) &
           s__attribute(V__C,s__NonFullyFormed))
         =>
         s__instance(V__C,s__Calf)))
     )
   )

 Mid-level-ontology.kif 19362-19366 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
( ! [V__COW] :
   (((s__instance(V__COW,s__FemaleCow) =>
         (s__instance(V__COW,s__Cow) &
           s__attribute(V__COW,s__Female)))
       &
       ((s__instance(V__COW,s__Cow) &
           s__attribute(V__COW,s__Female))
         =>
         s__instance(V__COW,s__FemaleCow)))
     )
   )

 Mid-level-ontology.kif 19380-19384 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
( ! [V__DV] :
   (((s__instance(V__DV,s__DamagedVehicle) =>
         (s__instance(V__DV,s__Vehicle) &
           s__attribute(V__DV,s__DeviceDamaged)))
       &
       ((s__instance(V__DV,s__Vehicle) &
           s__attribute(V__DV,s__DeviceDamaged))
         =>
         s__instance(V__DV,s__DamagedVehicle)))
     )
   )

 Mid-level-ontology.kif 29326-29330 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
( ! [V__H] :
   (((s__instance(V__H,s__Hen) =>
         (s__instance(V__H,s__Chicken) &
           s__attribute(V__H,s__Female)))
       &
       ((s__instance(V__H,s__Chicken) &
           s__attribute(V__H,s__Female))
         =>
         s__instance(V__H,s__Hen)))
     )
   )

 Mid-level-ontology.kif 19394-19398 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
( ! [V__ICE] :
   (((s__instance(V__ICE,s__Ice) =>
         (s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid)))
       &
       ((s__instance(V__ICE,s__Water) &
           s__attribute(V__ICE,s__Solid))
         =>
         s__instance(V__ICE,s__Ice)))
     )
   )

 Mid-level-ontology.kif 8558-8562 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
( ! [V__L] :
   (((s__instance(V__L,s__Lamb) =>
         (s__instance(V__L,s__Sheep) &
           s__attribute(V__L,s__NonFullyFormed)))
       &
       ((s__instance(V__L,s__Sheep) &
           s__attribute(V__L,s__NonFullyFormed))
         =>
         s__instance(V__L,s__Lamb)))
     )
   )

 Mid-level-ontology.kif 19348-19352 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
( ! [V__OBJ] :
   (((s__instance(V__OBJ,s__Substance) =>
         ( ? [V__ATTR] :
           ((s__instance(V__ATTR,s__PhysicalState) &
               s__attribute(V__OBJ,V__ATTR)))))
     &
     (( ? [V__ATTR] :
         ((s__instance(V__ATTR,s__PhysicalState) &
             s__attribute(V__OBJ,V__ATTR))))
     =>
     s__instance(V__OBJ,s__Substance)))
)
)

 Merge.kif 16882-16887 An object is an instance of substance if and only if there exists an attribute such that the attribute is an instance of physical state and the attribute is an attribute of the object
( ! [V__R] :
   (((s__instance(V__R,s__Rooster) =>
         (s__instance(V__R,s__Chicken) &
           s__attribute(V__R,s__Male)))
       &
       ((s__instance(V__R,s__Chicken) &
           s__attribute(V__R,s__Male))
         =>
         s__instance(V__R,s__Rooster)))
     )
   )

 Mid-level-ontology.kif 19403-19407 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
( ! [V__PKG,V__HOTEL] :
   (((s__instance(V__PKG,s__HotelPackage) &
         s__instance(V__HOTEL,s__Organization))
       =>
       ((s__accommodationProvider(V__PKG,V__HOTEL)
         =>
         (s__attribute(V__HOTEL,s__TravelerAccommodation)))))
   )
)

 Hotel.kif 2737-2739
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16126-16135
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19932-19939
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18043-18049
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 193-212
( ! [V__O,V__P] :
   ((s__instance(V__O,s__Object) =>
       (((s__attribute(V__O,V__P)
           &
           s__instance(V__P,s__Fingerprint) &
           ~(s__instance(V__O,s__Finger)))
         =>
         (( ? [V__PR, V__F] :
             ((s__instance(V__PR,s__Process) &
                 (s__instrument(V__PR,V__F)
                 &
                 s__instance(V__F,s__Finger) &
                 s__attribute(V__F,V__P)
               &
               s__patient(V__PR,V__O)))))))))
)
)

 Mid-level-ontology.kif 11885-11895
No TPTP formula. May not be expressible in strict first order. Merge.kif 16640-16653
( ! [V__COLOR,V__OBJ,V__PART] :
   (((s__instance(V__OBJ,s__Object) &
         s__instance(V__PART,s__Object))
       =>
       (((s__attribute(V__OBJ,s__Monochromatic) &
             s__superficialPart(V__PART,V__OBJ)
           &
           s__attribute(V__PART,V__COLOR)
         &
         s__instance(V__COLOR,s__PrimaryColor))
       =>
       (( ! [V__ELEMENT] :
           ((s__instance(V__ELEMENT,s__Object) =>
               ((s__superficialPart(V__ELEMENT,V__OBJ)
                 =>
                 (s__attribute(V__ELEMENT,V__COLOR)))))))))))
)
)

 Merge.kif 16981-16990
( ! [V__OFFICER,V__COR] :
   ((s__instance(V__OFFICER,s__Agent) =>
       (((s__attribute(V__OFFICER,V__COR)
           &
           s__instance(V__COR,s__CommissionedOfficerRank))
         =>
         (( ? [V__MANAGE, V__PATIENT] :
             ((s__instance(V__MANAGE,s__Managing) &
                 s__agent(V__MANAGE,V__OFFICER)
               &
               s__patient(V__MANAGE,V__PATIENT)
             &
             (s__instance(V__PATIENT,s__MilitaryOrganization) |
               s__attribute(V__PATIENT,s__Soldier)))))))))
)
)

 Military.kif 286-297

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 1227-1234 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 912-920 ?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 867-876 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 466-476 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 890-901 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 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 a symbolic string
( ? [V__MEAL, V__REGION] :
   ((s__instance(V__MEAL,s__Meal) &
       s__instance(V__REGION,s__Region) &
       s__attribute(V__MEAL,s__MealAttributeFn(V__MEAL,V__REGION)))))

 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 762-768 ?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


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