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 | O argumento numero 1 de member e' uma instancia de Fisico |
(domain member 2 Collection) | Merge.kif 1280-1280 | O argumento numero 2 de member e' uma instancia de Colecao |
(instance member AsymmetricRelation) | Merge.kif 1276-1276 | member e' uma instancia de Relacao Assimetrica |
(instance member BinaryPredicate) | Merge.kif 1277-1277 | member e' uma instancia de Predicado Binario |
(instance member IntransitiveRelation) | Merge.kif 1278-1278 | member e' uma instancia de Relacao Intransitiva |
(relatedInternalConcept member element) | Merge.kif 1282-1282 | member e' relacionado internamente por SUMO a element |
(relatedInternalConcept member instance) | Merge.kif 1281-1281 | member e' relacionado internamente por SUMO a 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 e' uma sub-relacao de member |
(subrelation groupMember member) | Mid-level-ontology.kif 7554-7554 | groupMember e' uma sub-relacao de member |
(subrelation student member) | Mid-level-ontology.kif 16791-16791 | student e' uma sub-relacao de member |
(subrelation teacher member) | Mid-level-ontology.kif 16863-16863 | teacher e' uma sub-relacao de member |
(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 |
consequent |
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 | Intervalo Temporal Intervalo Temporal e' uma instancia de Intervalo Temporal Intervalo Temporal termina em tempo de existencia de JesusOfNazareth Intervalo Temporal comeca em tempo de existencia de TwelveApostles Entidade
|
(not (member Denmark EuropeanMonetaryUnion)) |
Government.kif 3219-3219 | Denmark e' membro de EuropeanMonetaryUnion |
(not (member Sweden EuropeanMonetaryUnion)) |
Government.kif 3220-3220 | Sweden e' membro de EuropeanMonetaryUnion |
(not (member UnitedKingdom EuropeanMonetaryUnion)) |
Government.kif 3221-3221 | UnitedKingdom e' membro de EuropeanMonetaryUnion |
appearance as argument number 0 |