| appearance as argument number 1 |
|
| (documentation member ChineseLanguage "这是对属于 Collection 相同部分的专业常识概念。例如： 羊群中的每只羊，跟羊群间，是成员关系。") | chinese_format.kif 1633-1634 | |
| (documentation member 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 1284-1286 | |
| (documentation member JapaneseLanguage "Collections の均一パーツの専門常識の概念の部分。 例えば、群れの各羊が、群れのメンバーとして関係を持つ、など。") | japanese_format.kif 216-217 | |
| (documentation member SpanishLanguage "Una noción especializada de sentido común para las partes uniformes de Collections. Por ejemplo, cada oveja en un rebaño tendría la relación de «miembro» de rebaño.") | spanish_format.kif 256-258 | |
| (domain member 1 Physical) | Merge.kif 1279-1279 | 组员 的 1 数量 是 物理 的 instance |
| (domain member 2 Collection) | Merge.kif 1280-1280 | 组员 的 2 数量 是 群体 的 instance |
| (instance member AsymmetricRelation) | Merge.kif 1276-1276 | 组员 是 非对称关系 的 instance |
| (instance member BinaryPredicate) | Merge.kif 1277-1277 | 组员 是 二元谓语 的 instance |
| (instance member IntransitiveRelation) | Merge.kif 1278-1278 | 组员 是 非传递关系 的 instance |
| (relatedInternalConcept member element) | Merge.kif 1282-1282 | 组员 和 元素 是 内部相关 |
| (relatedInternalConcept member instance) | Merge.kif 1281-1281 | 组员 和 实例 是 内部相关 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage member "%1 %n 是 %2 的 member") | chinese_format.kif 153-153 | |
| (format EnglishLanguage member "%1 is %n a member of %2") | english_format.kif 154-154 | |
| (format FrenchLanguage member "%1 est %n un membre de %2") | french_format.kif 97-97 | |
| (format ItalianLanguage member "%1 è %n un membro di %2") | relations-it.txt 182-182 | |
| (format JapaneseLanguage member "%1 は %2 の member では %n") | japanese_format.kif 1925-1925 | |
| (format PortugueseLanguage member "%1 e' %n membro de %2") | portuguese_format.kif 49-49 | |
| (format cz member "%1 %p{je} %n{nen�} a �lenem %2") | relations-cz.txt 69-69 | |
| (format de member "%1 ist ein Mitglied von %2 %n{nicht}") | relations-de.txt 185-185 | |
| (format hi member "%1 %2 kaa sadasya %n hai") | relations-hindi.txt 220-220 | |
| (format ro member "%1 %n{nu} este un member%t{membru} al lui %2") | relations-ro.kif 116-116 | |
| (format sv member "%1 är %n{inte} en medlem av %2") | relations-sv.txt 96-96 | |
| (format tg member "%1 %n ay ang kasapi ng %2") | relations-tg.txt 358-358 | |
| (subrelation associateInOrganization member) | Government.kif 2390-2390 | 在组织中关联 是 组员 的 subrelation |
| (subrelation groupMember member) | Mid-level-ontology.kif 7581-7581 | 小组成员 是 组员 的 subrelation |
| (subrelation student member) | Mid-level-ontology.kif 16818-16818 | student 是 组员 的 subrelation |
| (subrelation teacher member) | Mid-level-ontology.kif 16890-16890 | teacher 是 组员 的 subrelation |
| (termFormat ChineseLanguage member "会员") | domainEnglishFormat.kif 36989-36989 | |
| (termFormat ChineseLanguage member "组员") | chinese_format.kif 154-154 | |
| (termFormat ChineseTraditionalLanguage member "會員") | domainEnglishFormat.kif 36988-36988 | |
| (termFormat EnglishLanguage member "member") | domainEnglishFormat.kif 36987-36987 | |
| (termFormat de member "mitglied") | terms-de.txt 57-57 | |
| (termFormat tg member "kasapi") | relations-tg.txt 359-359 |
| antecedent |
|
|
| (<=> (member ?PART InternationalRedCrossAndRedCrescentMovement) (member ?PART InternationalFederationOfRedCrossAndRedCrescentSocieties)) |
Government.kif 3567-3569 | 物理 是 国际红十字和红新月运动 的 member 若且唯若 那个 物理 是 国际红十字会和红新月会联合会 的 member |
| (=> (and (attribute ?AREA HighIncomeCountry) (not (member ?AREA OrganizationOfPetroleumExportingCountries))) (economyType ?AREA DevelopedCountry)) |
Economy.kif 506-510 | |
| (=> (and (businessUnit ?ORG ?BUSINESS) (member ?MEMBER ?ORG)) (instance ?MEMBER Human)) |
UXExperimentalTerms.kif 2579-2583 | |
| (=> (and (crossFunctionalTeamFocus ?FOCUS ?TEAM) (member ?MEMBER ?TEAM)) (inScopeOfInterest ?MEMBER ?FOCUS)) |
UXExperimentalTerms.kif 2659-2663 |
|
| (=> (and (equal ?X (ABPFn ?BUYINGS)) (member ?BUYING ?BUYINGS)) (instance ?BUYING Buying)) |
UXExperimentalTerms.kif 3231-3235 | |
| (=> (and (equal ?X (ASPFn ?SELLINGS)) (member ?SELLING ?SELLINGS)) (instance ?SELLING Selling)) |
UXExperimentalTerms.kif 3276-3280 | |
| (=> (and (experimentalTreatmentCollection ?COLLECTION ?EXPERIMENTING) (member ?PROCESS ?COLLECTION)) (experimentalVariableProcess ?EXPERIMENTING ?PROCESS)) |
UXExperimentalTerms.kif 4043-4047 | |
| (=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (during (WhenFn ?BUYING) ?INT)))) |
UXExperimentalTerms.kif 3534-3543 | |
| (=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent)) |
UXExperimentalTerms.kif 3528-3532 | |
| (=> (and (firstTimeBuyers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?BUYING) (and (instance ?BUYING Buying) (agent ?BUYING ?MEMBER) (eCommerceSite ?BUYING ?SITE) (earlier (WhenFn ?BUYING) ?INT))))) |
UXExperimentalTerms.kif 3545-3555 | |
| (=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (during (WhenFn ?SELLING) ?INT)))) |
UXExperimentalTerms.kif 3582-3591 | |
| (=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (instance ?MEMBER AutonomousAgent)) |
UXExperimentalTerms.kif 3576-3580 | |
| (=> (and (firstTimeSellers ?INT ?SITE ?COLL) (member ?MEMBER ?COLL)) (not (exists (?SELLING) (and (instance ?SELLING Selling) (agent ?SELLING ?MEMBER) (eCommerceSite ?SELLING ?SITE) (earlier (WhenFn ?SELLING) ?INT))))) |
UXExperimentalTerms.kif 3593-3603 | |
| (=> (and (fleetDeadWeightTonnage ?FLEET (MeasureFn ?T LongTon)) (vesselDeadWeightTonnage ?VESSEL (MeasureFn ?X LongTon)) (member ?VESSEL ?FLEET)) (exists (?L) (and (instance ?L List) (inList ?X ?L) (equal ?T (listSumFn ?L))))) |
Transportation.kif 2566-2576 | |
| (=> (and (groupingTitle ?STRING ?PRODUCTTYPE ?LANGUAGE) (instance ?PRODUCT ?PRODUCTTYPE) (member ?OBJ ?PRODUCT)) (instance ?OBJ ContentBearingPhysical)) |
Media.kif 3189-3194 | |
| (=> (and (holdsDuring ?T1 (member ?OBJ ?GROUP)) (instance ?OBJ Human) (instance ?GROUP GroupOfPeople)) (holdsDuring ?T1 (groupMember ?OBJ ?GROUP))) |
Mid-level-ontology.kif 7589-7596 | |
| (=> (and (instance ?AGENT AutonomousAgent) (instance ?ORG Organization) (member ?AGENT ?ORG)) (attribute ?AGENT (MemberFn ?ORG))) |
Government.kif 1731-1736 | |
| (=> (and (instance ?AREA GeopoliticalArea) (member ?SHIP (MerchantMarineFn ?AREA))) (instance ?SHIP MerchantMarineShip)) |
Transportation.kif 972-976 | |
| (=> (and (instance ?AREA Nation) (member ?AREA EuropeanMonetaryUnion)) (currencyType ?AREA EuroDollar)) |
Government.kif 3187-3191 | |
| (=> (and (instance ?ARREST PlacingUnderArrest) (arrested ?ARREST ?AGENT) (instance ?AGENT GroupOfPeople) (member ?MEMBER ?AGENT)) (exists (?ARREST1) (and (instance ?ARREST1 PlacingUnderArrest) (arrested ?ARREST1 ?MEMBER) (subProcess ?ARREST1 ?ARREST)))) |
Mid-level-ontology.kif 23546-23556 | |
| (=> (and (instance ?AUCTIONS Collection) (forall (?AUC) (=> (member ?AUC ?AUCTIONS) (instance ?AUC Auctioning)))) (exists (?AMOUNT ?TOTAL_PURCHASE_AMOUNT) (and (total (KappaFn ?AMOUNT (transactionAmount ?AUC ?AMOUNT)) ?TOTAL_PURCHASE_AMOUNT) (equal (AuctionGMBFn ?AUCTIONS) ?TOTAL_PURCHASE_AMOUNT)))) |
UXExperimentalTerms.kif 3202-3215 | |
| (=> (and (instance ?BUYINGS Collection) (instance ?GMB CurrencyMeasure) (instance ?TOTAL RealNumber) (equal ?GMB (GMBFn ?BUYINGS)) (equal ?TOTAL (CardinalityFn (KappaFn ?ITEM (and (instance ?ITEM Object) (exists (?BUYING) (and (member ?BUYING ?BUYINGS) (patient ?BUYING ?ITEM)))))))) (equal (ABPFn ?BUYINGS) (DivisionFn ?GMB ?TOTAL))) |
UXExperimentalTerms.kif 3239-3259 | |
| (=> (and (instance ?C Convoy) (member ?VEH ?C)) (exists (?DRIVE) (and (instance ?DRIVE Driving) (overlapsTemporally (WhenFn ?DRIVE) (WhenFn ?C)) (patient ?DRIVE ?VEH)))) |
Mid-level-ontology.kif 22400-22408 | |
| (=> (and (instance ?C Convoy) (member ?X1 ?C) (member ?X2 ?C) (not (equal ?X1 ?X2))) (exists (?P1 ?P2 ?D) (and (instance ?P1 Transportation) (instance ?P2 Transportation) (agent ?P1 ?X1) (agent ?P2 ?X2) (destination ?P1 ?D) (destination ?P2 ?D)))) |
Military.kif 108-122 | |
| (=> (and (instance ?CATEG WebListingCategory) (instance ?LISTING1 WebListing) (instance ?LISTING2 WebListing) (instance ?ITEM1 Object) (instance ?ITEM2 Object) (member ?LISTING1 ?CATEG) (member ?LISTING2 ?CATEG) (patient ?ITEM1 ?LISTING1) (patient ?ITEM2 ?LISTING2)) (exists (?CLASS) (and (instance ?CLASS Class) (instance ?ITEM1 ?CLASS) (instance ?ITEM2 ?CLASS)))) |
UXExperimentalTerms.kif 145-160 |
|
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| (<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 676-678 | 信仰团体 的 member 是 客体 的 attribute 若且唯若 那个 客体 是 那个 信仰团体 的 member |
| (<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 702-704 | 不可知 是 客体 的 attribute 若且唯若 那个 客体 是 不可知论 的 member |
| (<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1347-1349 | Ahmadiyya穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 ahmadiyya教派 的 member |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1225-1227 | 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英国国教 的 member |
| (<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1233-1235 | 英国国教 是 客体 的 attribute 若且唯若 那个 客体 是 英格兰教堂 的 member |
| (<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 720-722 | 无神论者 是 客体 的 attribute 若且唯若 那个 客体 是 无神论 的 member |
| (<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 757-759 | 巴哈 是 客体 的 attribute 若且唯若 那个 客体 是 巴哈主义 的 member |
| (<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 769-771 | 佛教徒 是 客体 的 attribute 若且唯若 那个 客体 是 佛教 的 member |
| (<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1306-1308 | 儒 是 客体 的 attribute 若且唯若 那个 客体 是 儒 的 member |
| (<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1361-1363 | 德鲁兹穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 德鲁兹教派 的 member |
| (<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1247-1249 | 东正教基督教 是 客体 的 attribute 若且唯若 那个 客体 是 东正教基督教 的 member |
| (<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1318-1320 | 印度教 是 客体 的 attribute 若且唯若 那个 客体 是 印度教 的 member |
| (<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1411-1413 | 耆那教 是 客体 的 attribute 若且唯若 那个 客体 是 耆那教 的 member |
| (<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1330-1332 | 穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 伊斯兰教 的 member |
| (<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1457-1459 | Neopaganismist 是 客体 的 attribute 若且唯若 那个 客体 是 neopaganism 的 member |
| (<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1261-1263 | 新教 是 客体 的 attribute 若且唯若 那个 客体 是 新教 的 member |
| (<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1428-1430 | 宗教的犹太人 是 客体 的 attribute 若且唯若 那个 客体 是 犹太教 的 member |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1283-1285 | 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教会 的 member |
| (<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1275-1277 | 罗马天主教徒 是 客体 的 attribute 若且唯若 那个 客体 是 罗马天主教 的 member |
| (<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1377-1379 | 什叶派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 什叶派 的 member |
| (<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1472-1474 | 神道教 是 客体 的 attribute 若且唯若 那个 客体 是 神道 的 member |
| (<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism)) |
People.kif 1487-1489 | 锡克教 是 客体 的 attribute 若且唯若 那个 客体 是 锡克教 的 member |
| (<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1396-1398 | 逊尼派穆斯林 是 客体 的 attribute 若且唯若 那个 客体 是 逊尼派 的 member |
| (<=> (attribute ?INDIVIDUAL Taoist) (member ?INDIVIDUAL Taoism)) |
People.kif 1502-1504 | 道 是 客体 的 attribute 若且唯若 那个 客体 是 道教 的 member |
| (<=> (attribute ?INDIVIDUAL Zoroastrian) (member ?INDIVIDUAL Zoroastrianism)) |
People.kif 1517-1519 | 拜火教 是 客体 的 attribute 若且唯若 那个 客体 是 拜火教 的 member |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| statement |
|
|
| (exists (?TIME) (and (instance ?TIME TimeInterval) (finishes ?TIME (WhenFn JesusOfNazareth)) (starts ?TIME (WhenFn TwelveApostles)) (forall (?MEM) (=> (holdsDuring ?TIME (member ?MEM TwelveApostles)) (holdsDuring ?TIME (friend ?MEM JesusOfNazareth)))))) |
Media.kif 1970-1978 | 有存在 时距 这样 那个 时距 是 时距 的 instance 和 那个 时距 finishes了才到 JesusOfNazareth 出现 的 time 和 那个 时距 starts了才到 TwelveApostles 出现 的 time 和 对所有 实体
|
| (not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3183-3183 | 丹麦 不 是 欧洲货币联盟 的 member |
| (not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3184-3184 | 瑞典 不 是 欧洲货币联盟 的 member |
| (not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3185-3185 | 英国 不 是 欧洲货币联盟 的 member |
| appearance as argument number 0 |
|
|
|
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