  member
|
|
Sigma KEE - 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 7038-7038 |
group member is a subrelation of member |
| s__subrelation(s__student__m,s__member__m)
|
Mid-level-ontology.kif 15314-15314 |
student is a subrelation of member |
| s__subrelation(s__teacher__m,s__member__m)
|
Mid-level-ontology.kif 15346-15346 |
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 7046-7053 |
|
( ! [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 21966-21976 |
|
| 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 20853-20861 |
|
( ! [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
|
|
|
|
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 simplified definition (without tree view)
Show simplified definition (with tree view)
|