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 1211-1213
s__domain(s__member__m,n__1,s__Physical)

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

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

s__instance(s__AsymmetricRelation,s__Class)

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

s__instance(s__member__m,s__BinaryPredicate)

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

s__instance(s__member__m,s__IntransitiveRelation)

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

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

Merge.kif 1208-1208 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 154-154
s__subrelation(s__associateInOrganization__m,s__member__m)

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

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

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

Mid-level-ontology.kif 16137-16137 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 3579-3581 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__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__BUYINGS,V__BUYING,V__X] :
   (((s__instance(V__BUYINGS,s__Collection) &
         s__instance(V__BUYING,s__Physical) &
         s__instance(V__X,s__CurrencyMeasure))
       =>
       ((((V__X = s__ABPFn(V__BUYINGS))
           &
           s__member(V__BUYING,V__BUYINGS))
       =>
       (s__instance(V__BUYING,s__Buying)))))
)
)

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

UXExperimentalTerms.kif 3484-3488
( ! [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 3189-3194
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7214-7221
( ! [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 3199-3203
( ! [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 22771-22781
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 21658-21666
( ! [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 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
( ! [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 1494-1496 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 1403-1405 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 1509-1511 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 1524-1526 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 3195-3195 Denmark is not a member of european monetary union
~(s__member(s__Sweden,s__EuropeanMonetaryUnion))

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

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

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


s__member(s__Austria,s__EuropeanMonetaryUnion)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Government.kif 3189-3189 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