member |
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 | Le nombre 1 argument de member est une instance de physique |
(domain member 2 Collection) | Merge.kif 1280-1280 | Le nombre 2 argument de member est une instance de collection |
(instance member AsymmetricRelation) | Merge.kif 1276-1276 | member est une instance de relation asym�trique |
(instance member BinaryPredicate) | Merge.kif 1277-1277 | member est une instance de pr�dicat binaire |
(instance member IntransitiveRelation) | Merge.kif 1278-1278 | member est une instance de relation intransitive |
(relatedInternalConcept member element) | Merge.kif 1282-1282 | member est reli� � l'int�rieur de SUMO � element |
(relatedInternalConcept member instance) | Merge.kif 1281-1281 | member est reli� � l'int�rieur de SUMO � instance |
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 2426-2426 | associateInOrganization est une sous-relation de member |
(subrelation groupMember member) | Mid-level-ontology.kif 7526-7526 | groupMember est une sous-relation de member |
(subrelation student member) | Mid-level-ontology.kif 16763-16763 | student est une sous-relation de member |
(subrelation teacher member) | Mid-level-ontology.kif 16835-16835 | teacher est une sous-relation de member |
(termFormat ChineseLanguage member "会员") | domainEnglishFormat.kif 37001-37001 | |
(termFormat ChineseLanguage member "组员") | chinese_format.kif 154-154 | |
(termFormat ChineseTraditionalLanguage member "會員") | domainEnglishFormat.kif 37000-37000 | |
(termFormat EnglishLanguage member "member") | domainEnglishFormat.kif 36999-36999 | |
(termFormat de member "mitglied") | terms-de.txt 57-57 | |
(termFormat tg member "kasapi") | relations-tg.txt 359-359 |
antecedent |
![]() |
consequent |
![]() |
(<=> (attribute ?I (BeliefGroupMemberFn ?BG)) (member ?I ?BG)) |
People.kif 702-704 | BeliefGroupMemberFn BeliefGroup est un attribut de objet objet est un membre de BeliefGroup |
(<=> (attribute ?INDIVIDUAL Agnostic) (member ?INDIVIDUAL Agnosticism)) |
People.kif 728-730 | Agnostic est un attribut de objet objet est un membre de Agnosticism |
(<=> (attribute ?INDIVIDUAL AhmadiyyaMuslim) (member ?INDIVIDUAL AhmadiyyaSect)) |
People.kif 1373-1375 | AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL Anglicanism)) |
People.kif 1251-1253 | Anglican est un attribut de objet objet est un membre de Anglicanism |
(<=> (attribute ?INDIVIDUAL Anglican) (member ?INDIVIDUAL ChurchOfEngland)) |
People.kif 1259-1261 | Anglican est un attribut de objet objet est un membre de ChurchOfEngland |
(<=> (attribute ?INDIVIDUAL Atheist) (member ?INDIVIDUAL Atheism)) |
People.kif 746-748 | Atheist est un attribut de objet objet est un membre de Atheism |
(<=> (attribute ?INDIVIDUAL Bahai) (member ?INDIVIDUAL Bahaism)) |
People.kif 783-785 | Bahai est un attribut de objet objet est un membre de Bahaism |
(<=> (attribute ?INDIVIDUAL Buddhist) (member ?INDIVIDUAL Buddhism)) |
People.kif 795-797 | Buddhist est un attribut de objet objet est un membre de Buddhism |
(<=> (attribute ?INDIVIDUAL Confucianist) (member ?INDIVIDUAL Confucianism)) |
People.kif 1332-1334 | Confucianist est un attribut de objet objet est un membre de Confucianism |
(<=> (attribute ?INDIVIDUAL DruzeMuslim) (member ?INDIVIDUAL DruzeSect)) |
People.kif 1387-1389 | DruzeMuslim est un attribut de objet objet est un membre de DruzeSect |
(<=> (attribute ?INDIVIDUAL EasternOrthodoxChristian) (member ?INDIVIDUAL EasternOrthodoxChristianity)) |
People.kif 1273-1275 | EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity |
(<=> (attribute ?INDIVIDUAL Hindu) (member ?INDIVIDUAL Hinduism)) |
People.kif 1344-1346 | Hindu est un attribut de objet objet est un membre de Hinduism |
(<=> (attribute ?INDIVIDUAL Jain) (member ?INDIVIDUAL Jainism)) |
People.kif 1437-1439 | Jain est un attribut de objet objet est un membre de Jainism |
(<=> (attribute ?INDIVIDUAL Muslim) (member ?INDIVIDUAL Islam)) |
People.kif 1356-1358 | Muslim est un attribut de objet objet est un membre de Islam |
(<=> (attribute ?INDIVIDUAL Neopaganismist) (member ?INDIVIDUAL Neopaganism)) |
People.kif 1483-1485 | Neopaganismist est un attribut de objet objet est un membre de Neopaganism |
(<=> (attribute ?INDIVIDUAL Protestant) (member ?INDIVIDUAL Protestantism)) |
People.kif 1287-1289 | Protestant est un attribut de objet objet est un membre de Protestantism |
(<=> (attribute ?INDIVIDUAL ReligiousJew) (member ?INDIVIDUAL Judaism)) |
People.kif 1454-1456 | ReligiousJew est un attribut de objet objet est un membre de Judaism |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicChurch)) |
People.kif 1309-1311 | RomanCatholic est un attribut de objet objet est un membre de RomanCatholicChurch |
(<=> (attribute ?INDIVIDUAL RomanCatholic) (member ?INDIVIDUAL RomanCatholicism)) |
People.kif 1301-1303 | RomanCatholic est un attribut de objet objet est un membre de RomanCatholicism |
(<=> (attribute ?INDIVIDUAL ShiaMuslim) (member ?INDIVIDUAL ShiiteSect)) |
People.kif 1403-1405 | ShiaMuslim est un attribut de objet objet est un membre de ShiiteSect |
(<=> (attribute ?INDIVIDUAL Shintoist) (member ?INDIVIDUAL Shinto)) |
People.kif 1498-1500 | Shintoist est un attribut de objet objet est un membre de Shinto |
(<=> (attribute ?INDIVIDUAL Sikh) (member ?INDIVIDUAL Sikhism)) |
People.kif 1513-1515 | Sikh est un attribut de objet objet est un membre de Sikhism |
(<=> (attribute ?INDIVIDUAL SunniMuslim) (member ?INDIVIDUAL SunniSect)) |
People.kif 1422-1424 | SunniMuslim est un attribut de objet objet est un membre de SunniSect |
(<=> (attribute ?INDIVIDUAL Taoist) (member ?INDIVIDUAL Taoism)) |
People.kif 1528-1530 | Taoist est un attribut de objet objet est un membre de Taoism |
(<=> (attribute ?INDIVIDUAL Zoroastrian) (member ?INDIVIDUAL Zoroastrianism)) |
People.kif 1543-1545 | Zoroastrian est un attribut de objet objet est un membre de Zoroastrianism |
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 | Interval temporel interval temporel est une instance de interval temporel interval temporel finit temps d'existence de JesusOfNazareth interval temporel commence temps d'existence de TwelveApostles entit� |
(not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3219-3219 | Denmark est un membre de EuropeanMonetaryUnion |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3220-3220 | Sweden est un membre de EuropeanMonetaryUnion |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3221-3221 | UnitedKingdom est un membre de EuropeanMonetaryUnion |
appearance as argument number 0 |
![]() |
![]() |
![]() |