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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - member
member

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


s__documentation(s__member__m,s__ChineseLanguage,'"这是对属于 Collection 相同部分的专业常识概念。例如: 羊群中的每只羊,跟羊群间,是成员关系。"')

chinese_format.kif 1633-1634
s__documentation(s__member__m,s__EnglishLanguage,'"A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock."')

Merge.kif 1182-1184
s__domain(s__member__m,n__1,s__Physical)

Merge.kif 1177-1177 The number 1 argument of member is an instance of physical
s__domain(s__member__m,n__2,s__Collection)

Merge.kif 1178-1178 The number 2 argument of member is an instance of collection
s__instance(s__member__m,s__AsymmetricRelation)

s__instance(s__AsymmetricRelation,s__SetOrClass)

Merge.kif 1174-1174 member is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__member__m,s__BinaryPredicate)

Merge.kif 1175-1175 member is an instance of binary predicate
s__instance(s__member__m,s__IntransitiveRelation)

s__instance(s__IntransitiveRelation,s__SetOrClass)

Merge.kif 1176-1176 member is an instance of intransitive relation
s__relatedInternalConcept(s__member__m,s__element__m)

Merge.kif 1180-1180 member is internally related to element
s__relatedInternalConcept(s__member__m,s__instance__m)

Merge.kif 1179-1179 member is internally related to instance

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


s__format(s__ChineseLanguage,s__member__m,'"%1 %n 是 %2 的 member"')

chinese_format.kif 153-153
s__format(s__EnglishLanguage,s__member__m,'"%1 is %n a member of %2"')

english_format.kif 157-157
s__subrelation(s__associateInOrganization__m,s__member__m)

Government.kif 2399-2399 associate in organization is a subrelation of member
s__subrelation(s__groupMember__m,s__member__m)

Mid-level-ontology.kif 6918-6918 group member is a subrelation of member
s__subrelation(s__student__m,s__member__m)

Mid-level-ontology.kif 15037-15037 student is a subrelation of member
s__subrelation(s__teacher__m,s__member__m)

Mid-level-ontology.kif 15069-15069 teacher is a subrelation of member
s__termFormat(s__ChineseLanguage,s__member__m,'"会员"')

domainEnglishFormat.kif 36978-36978
s__termFormat(s__ChineseLanguage,s__member__m,'"组员"')

chinese_format.kif 154-154
s__termFormat(s__ChineseTraditionalLanguage,s__member__m,'"會員"')

domainEnglishFormat.kif 36977-36977
s__termFormat(s__EnglishLanguage,s__member__m,'"member"')

domainEnglishFormat.kif 36976-36976

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


( ! [V__PART] :
   ((s__instance(V__PART,s__Physical) =>
       (((s__member(V__PART,s__InternationalRedCrossAndRedCrescentMovement) =>
             s__member(V__PART,s__InternationalFederationOfRedCrossAndRedCrescentSocieties))
           &
           (s__member(V__PART,s__InternationalFederationOfRedCrossAndRedCrescentSocieties) =>
             s__member(V__PART,s__InternationalRedCrossAndRedCrescentMovement)))))
     )
   )

Government.kif 3566-3568 A physical is a member of international red cross and red crescent movement if and only if the physical is a member of international federation of red cross and red crescent societies
( ! [V__BUYINGS,V__BUYING] :
   (((s__instance(V__BUYINGS,s__Collection) &
         s__instance(V__BUYING,s__Physical))
       =>
       (((s__ABPFn(V__BUYINGS)
           &
           s__member(V__BUYING,V__BUYINGS))
       =>
       (s__instance(V__BUYING,s__Buying)))))
)
)

UXExperimentalTerms.kif 3441-3445
( ! [V__SELLING,V__SELLINGS] :
   (((s__instance(V__SELLING,s__Physical) &
         s__instance(V__SELLINGS,s__Collection))
       =>
       (((s__ASPFn(V__SELLINGS)
           &
           s__member(V__SELLING,V__SELLINGS))
       =>
       (s__instance(V__SELLING,s__Selling)))))
)
)

UXExperimentalTerms.kif 3484-3488
( ! [V__AREA] :
   ((s__instance(V__AREA,s__Agent) =>
       (((s__attribute(V__AREA,s__HighIncomeCountry) &
             ~(s__member(V__AREA,s__OrganizationOfPetroleumExportingCountries)))
           =>
           (s__economyType(V__AREA,s__DevelopedCountry)))))
     )
   )

Economy.kif 501-505
( ! [V__MEMBER,V__ORG,V__BUSINESS] :
   (((s__instance(V__MEMBER,s__Physical) &
         s__instance(V__ORG,s__Organization) &
         s__instance(V__BUSINESS,s__Business))
       =>
       (((s__businessUnit(V__ORG,V__BUSINESS)
           &
           s__member(V__MEMBER,V__ORG))
       =>
       (s__instance(V__MEMBER,s__Human)))))
)
)

UXExperimentalTerms.kif 2789-2793
( ! [V__TEAM,V__MEMBER,V__FOCUS] :
   (((s__instance(V__TEAM,s__CrossFunctionalTeam) &
         s__instance(V__MEMBER,s__CognitiveAgent))
       =>
       (((s__crossFunctionalTeamFocus(V__FOCUS,V__TEAM)
           &
           s__member(V__MEMBER,V__TEAM))
       =>
       (s__inScopeOfInterest(V__MEMBER,V__FOCUS)))))
)
)

UXExperimentalTerms.kif 2869-2873
( ! [V__PROCESS,V__COLLECTION,V__EXPERIMENTING] :
   (((s__instance(V__PROCESS,s__Process) &
         s__instance(V__COLLECTION,s__Collection) &
         s__instance(V__EXPERIMENTING,s__Experimenting))
       =>
       (((s__experimentalTreatmentCollection(V__COLLECTION,V__EXPERIMENTING)
           &
           s__member(V__PROCESS,V__COLLECTION))
       =>
       (s__experimentalVariableProcess(V__EXPERIMENTING,V__PROCESS)))))
)
)

UXExperimentalTerms.kif 4250-4254
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (( ? [V__BUYING] :
           ((s__instance(V__BUYING,s__Buying) &
               s__agent(V__BUYING,V__MEMBER)
             &
             s__eCommerceSite(V__BUYING,V__SITE)
           &
           s__during(s__WhenFn(V__BUYING)
        ,V__INT))))))))
)
)

UXExperimentalTerms.kif 3742-3751
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Physical) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (s__instance(V__MEMBER,s__Agent)))))
)
)

UXExperimentalTerms.kif 3736-3740
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeBuyers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (~(( ? [V__BUYING] :
             ((s__instance(V__BUYING,s__Buying) &
                 s__agent(V__BUYING,V__MEMBER)
               &
               s__eCommerceSite(V__BUYING,V__SITE)
             &
             s__earlier(s__WhenFn(V__BUYING)
          ,V__INT)))))))))
)
)

UXExperimentalTerms.kif 3753-3763
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (( ? [V__SELLING] :
           ((s__instance(V__SELLING,s__Selling) &
               s__agent(V__SELLING,V__MEMBER)
             &
             s__eCommerceSite(V__SELLING,V__SITE)
           &
           s__during(s__WhenFn(V__SELLING)
        ,V__INT))))))))
)
)

UXExperimentalTerms.kif 3790-3799
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Physical) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (s__instance(V__MEMBER,s__Agent)))))
)
)

UXExperimentalTerms.kif 3784-3788
( ! [V__MEMBER,V__SITE,V__COLL,V__INT] :
   (((s__instance(V__MEMBER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__COLL,s__Collection) &
         s__instance(V__INT,s__TimeInterval))
       =>
       (((s__firstTimeSellers(V__INT,V__SITE,V__COLL)
           &
           s__member(V__MEMBER,V__COLL))
       =>
       (~(( ? [V__SELLING] :
             ((s__instance(V__SELLING,s__Selling) &
                 s__agent(V__SELLING,V__MEMBER)
               &
               s__eCommerceSite(V__SELLING,V__SITE)
             &
             s__earlier(s__WhenFn(V__SELLING)
          ,V__INT)))))))))
)
)

UXExperimentalTerms.kif 3801-3811
( ! [V__STRING,V__PRODUCT,V__OBJ,V__LANGUAGE,V__PRODUCTTYPE] :
   (((s__instance(V__STRING,s__SymbolicString) &
         s__instance(V__PRODUCT,s__Collection) &
         s__instance(V__OBJ,s__Physical) &
         s__instance(V__LANGUAGE,s__Language) &
         s__instance(V__PRODUCTTYPE,s__Class))
       =>
       (((s__groupingTitle(V__STRING,V__PRODUCTTYPE,V__LANGUAGE)
           &
           s__instance(V__PRODUCT,V__PRODUCTTYPE)
         &
         s__member(V__OBJ,V__PRODUCT))
     =>
     (s__instance(V__OBJ,s__ContentBearingPhysical)))))
)
)

Media.kif 3177-3182
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6926-6933
( ! [V__AGENT,V__ORG] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__ORG,s__Organization) &
         s__member(V__AGENT,V__ORG))
     =>
     (s__attribute(V__AGENT,s__MemberFn(V__ORG))))
)
)

Government.kif 1753-1758
( ! [V__SHIP,V__AREA] :
   ((s__instance(V__SHIP,s__Physical) =>
       (((s__instance(V__AREA,s__GeopoliticalArea) &
             s__member(V__SHIP,s__MerchantMarineFn(V__AREA)))
       =>
       (s__instance(V__SHIP,s__MerchantMarineShip)))))
)
)

Transportation.kif 972-976
( ! [V__AREA] :
   (((s__instance(V__AREA,s__Nation) &
         s__member(V__AREA,s__EuropeanMonetaryUnion))
       =>
       (s__currencyType(V__AREA,s__EuroDollar)))
     )
   )

Government.kif 3186-3190
( ! [V__AGENT,V__MEMBER,V__ARREST] :
   ((s__instance(V__MEMBER,s__Agent) =>
       (((s__instance(V__ARREST,s__PlacingUnderArrest) &
             s__arrested(V__ARREST,V__AGENT)
           &
           s__instance(V__AGENT,s__GroupOfPeople) &
           s__member(V__MEMBER,V__AGENT))
       =>
       (( ? [V__ARREST1] :
           ((s__instance(V__ARREST1,s__PlacingUnderArrest) &
               s__arrested(V__ARREST1,V__MEMBER)
             &
             s__subProcess(V__ARREST1,V__ARREST))))))))
)
)

Mid-level-ontology.kif 21689-21699
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3409-3424
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3447-3467
( ! [V__C,V__VEH] :
   ((s__instance(V__VEH,s__Physical) =>
       (((s__instance(V__C,s__Convoy) &
             s__member(V__VEH,V__C))
         =>
         (( ? [V__DRIVE] :
             ((s__instance(V__DRIVE,s__Driving) &
                 s__overlapsTemporally(s__WhenFn(V__DRIVE)
              ,s__WhenFn(V__C))
           &
           s__patient(V__DRIVE,V__VEH))))))))
)
)

Mid-level-ontology.kif 20576-20584
( ! [V__C,V__X1,V__X2] :
   (((s__instance(V__X1,s__Agent) &
         s__instance(V__X2,s__Agent))
       =>
       (((s__instance(V__C,s__Convoy) &
             s__member(V__X1,V__C)
           &
           s__member(V__X2,V__C)
         &
         ~((V__X1 = V__X2)))
       =>
       (( ? [V__P1, V__P2, V__D] :
           ((s__instance(V__P1,s__Transportation) &
               s__instance(V__P2,s__Transportation) &
               s__agent(V__P1,V__X1)
             &
             s__agent(V__P2,V__X2)
           &
           s__destination(V__P1,V__D)
         &
         s__destination(V__P2,V__D))))))))
)
)

Military.kif 108-122
( ! [V__ITEM1,V__LISTING2,V__LISTING1,V__CATEG,V__ITEM2] :
   (((s__instance(V__CATEG,s__WebListingCategory) &
         s__instance(V__LISTING1,s__WebListing) &
         s__instance(V__LISTING2,s__WebListing) &
         s__instance(V__ITEM1,s__Object) &
         s__instance(V__ITEM2,s__Object) &
         s__member(V__LISTING1,V__CATEG)
       &
       s__member(V__LISTING2,V__CATEG)
     &
     s__patient(V__ITEM1,V__LISTING1)
   &
   s__patient(V__ITEM2,V__LISTING2))
=>
(( ? [V__CLASS] :
   ((s__instance(V__CLASS,s__Class) &
       s__instance(V__ITEM1,V__CLASS)
     &
     s__instance(V__ITEM2,V__CLASS))))))
)
)

UXExperimentalTerms.kif 182-197
( ! [V__CATEG,V__LISTING] :
   ((s__instance(V__LISTING,s__Physical) =>
       (((s__instance(V__CATEG,s__WebListingCategory) &
             s__member(V__LISTING,V__CATEG))
         =>
         (s__instance(V__LISTING,s__WebListing)))))
   )
)

UXExperimentalTerms.kif 176-180

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


( ! [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 679-681 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 705-707 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 1350-1352 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 1228-1230 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 1236-1238 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 723-725 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 760-762 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 772-774 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 1309-1311 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 1364-1366 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 1250-1252 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 1321-1323 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 1414-1416 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 1333-1335 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 1460-1462 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 1264-1266 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 1431-1433 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 1286-1288 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 1278-1280 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 1380-1382 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 1475-1477 Shintoist is an attribute of an object if and only if the object is a member of shinto
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Sikh) =>
             s__member(V__INDIVIDUAL,s__Sikhism))
           &
           (s__member(V__INDIVIDUAL,s__Sikhism) =>
             s__attribute(V__INDIVIDUAL,s__Sikh)))))
     )
   )

People.kif 1490-1492 Sikh is an attribute of an object if and only if the object is a member of sikhism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__SunniMuslim) =>
             s__member(V__INDIVIDUAL,s__SunniSect))
           &
           (s__member(V__INDIVIDUAL,s__SunniSect) =>
             s__attribute(V__INDIVIDUAL,s__SunniMuslim)))))
     )
   )

People.kif 1399-1401 Sunni muslim is an attribute of an object if and only if the object is a member of sunni sect
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Taoist) =>
             s__member(V__INDIVIDUAL,s__Taoism))
           &
           (s__member(V__INDIVIDUAL,s__Taoism) =>
             s__attribute(V__INDIVIDUAL,s__Taoist)))))
     )
   )

People.kif 1505-1507 Taoist is an attribute of an object if and only if the object is a member of taoism
( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__Zoroastrian) =>
             s__member(V__INDIVIDUAL,s__Zoroastrianism))
           &
           (s__member(V__INDIVIDUAL,s__Zoroastrianism) =>
             s__attribute(V__INDIVIDUAL,s__Zoroastrian)))))
     )
   )

People.kif 1520-1522 Zoroastrian is an attribute of an object if and only if the object is a member of zoroastrianism

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. Media.kif 1972-1980 There exists a time interval such that the time interval is an instance of time interval and the time interval finishes the time of existence of JesusOfNazareth and the time interval starts the time of existence of TwelveApostles and for all an entity
~(s__member(s__Denmark,s__EuropeanMonetaryUnion))

Government.kif 3182-3182 Denmark is not a member of european monetary union
~(s__member(s__Sweden,s__EuropeanMonetaryUnion))

Government.kif 3183-3183 Sweden is not a member of european monetary union
~(s__member(s__UnitedKingdom,s__EuropeanMonetaryUnion))

Government.kif 3184-3184 United kingdom is not a member of european monetary union

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


s__member(s__Austria,s__EuropeanMonetaryUnion)

Government.kif 3162-3162 Austria is a member of european monetary union
s__member(s__BakerIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2588-2588 Baker island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Belgium,s__BeneluxEconomicUnion)

Government.kif 2866-2866 Belgium is a member of benelux economic union
s__member(s__Belgium,s__EuropeanMonetaryUnion)

Government.kif 3163-3163 Belgium is a member of european monetary union
s__member(s__Cyprus,s__EuropeanMonetaryUnion)

Government.kif 3164-3164 Cyprus is a member of european monetary union
s__member(s__Estonia,s__EuropeanMonetaryUnion)

Government.kif 3165-3165 Estonia is a member of european monetary union
s__member(s__Finland,s__EuropeanMonetaryUnion)

Government.kif 3166-3166 Finland is a member of european monetary union
s__member(s__France,s__EuropeanMonetaryUnion)

Government.kif 3167-3167 France is a member of european monetary union
s__member(s__Germany,s__EuropeanMonetaryUnion)

Government.kif 3168-3168 Germany is a member of european monetary union
s__member(s__Greece,s__EuropeanMonetaryUnion)

Government.kif 3169-3169 Greece is a member of european monetary union
s__member(s__HowlandIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2589-2589 Howland island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Ireland,s__EuropeanMonetaryUnion)

Government.kif 3170-3170 Ireland is a member of european monetary union
s__member(s__Italy,s__EuropeanMonetaryUnion)

Government.kif 3171-3171 Italy is a member of european monetary union
s__member(s__JarvisIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2590-2590 Jarvis island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__JohnstonAtoll,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2595-2595 Johnston atoll is a member of UnitedStatesMinorOutlyingIslands
s__member(s__KingmanReef,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2591-2591 Kingman reef is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Latvia,s__EuropeanMonetaryUnion)

Government.kif 3172-3172 Latvia is a member of european monetary union
s__member(s__Lithuania,s__EuropeanMonetaryUnion)

Government.kif 3173-3173 Lithuania is a member of european monetary union
s__member(s__Luxembourg,s__BeneluxEconomicUnion)

Government.kif 2868-2868 Luxembourg is a member of benelux economic union
s__member(s__Luxembourg,s__EuropeanMonetaryUnion)

Government.kif 3174-3174 Luxembourg is a member of european monetary union
s__member(s__Malta,s__EuropeanMonetaryUnion)

Government.kif 3175-3175 Malta is a member of european monetary union
s__member(s__MidwayIslands,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2596-2596 Midway islands is a member of UnitedStatesMinorOutlyingIslands
s__member(s__NavassaIsland,s__UnitedStatesMinorOutlyingIslands)

Media.kif 2592-2592 Navassa island is a member of UnitedStatesMinorOutlyingIslands
s__member(s__Netherlands,s__BeneluxEconomicUnion)

Government.kif 2867-2867 Netherlands is a member of benelux economic union
s__member(s__Netherlands,s__EuropeanMonetaryUnion)

Government.kif 3176-3176 Netherlands is a member of european monetary union

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