Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  member

 Sigma KEE - member
member

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1633-1634
No TPTP formula. May not be expressible in strict first order. Merge.kif 1284-1286
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 216-217
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 256-258
No TPTP formula. May not be expressible in strict first order. Merge.kif 1279-1279 Le nombre 1 argument de member est une instance de physique
No TPTP formula. May not be expressible in strict first order. Merge.kif 1280-1280 Le nombre 2 argument de member est une instance de collection
No TPTP formula. May not be expressible in strict first order. Merge.kif 1276-1276 member est une instance de relation asym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 1277-1277 member est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order. Merge.kif 1278-1278 member est une instance de relation intransitive
No TPTP formula. May not be expressible in strict first order. Merge.kif 1282-1282 member est reli� � l'int�rieur de SUMO � element
No TPTP formula. May not be expressible in strict first order. Merge.kif 1281-1281 member est reli� � l'int�rieur de SUMO � instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 153-153
No TPTP formula. May not be expressible in strict first order. english_format.kif 154-154
No TPTP formula. May not be expressible in strict first order. french_format.kif 97-97
No TPTP formula. May not be expressible in strict first order. relations-it.txt 182-182
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1925-1925
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 49-49
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-de.txt 185-185
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 220-220
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 116-116
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 96-96
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 358-358
No TPTP formula. May not be expressible in strict first order. Government.kif 2426-2426 associateInOrganization est une sous-relation de member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7554-7554 groupMember est une sous-relation de member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16791-16791 student est une sous-relation de member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16863-16863 teacher est une sous-relation de member
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36989-36989
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 154-154
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36988-36988
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36987-36987
No TPTP formula. May not be expressible in strict first order. terms-de.txt 57-57
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 359-359

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 3603-3605 Physique est un membre de InternationalRedCrossAndRedCrescentMovement physique est un membre de InternationalFederationOfRedCrossAndRedCrescentSocieties
No TPTP formula. May not be expressible in strict first order. Economy.kif 506-510
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2579-2583
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2659-2663
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3231-3235
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3276-3280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 4043-4047
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3534-3543
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3528-3532
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3545-3555
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3582-3591
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3576-3580
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3593-3603
No TPTP formula. May not be expressible in strict first order. Media.kif 3207-3212
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7562-7569
No TPTP formula. May not be expressible in strict first order. Government.kif 1767-1772
No TPTP formula. May not be expressible in strict first order. Transportation.kif 972-976
No TPTP formula. May not be expressible in strict first order. Government.kif 3223-3227
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23494-23504
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3202-3215
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3239-3259
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22348-22356
No TPTP formula. May not be expressible in strict first order. Military.kif 108-122
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 145-160
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 139-143

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. People.kif 676-678 BeliefGroupMemberFn BeliefGroup est un attribut de objet objet est un membre de BeliefGroup
No TPTP formula. May not be expressible in strict first order. People.kif 702-704 Agnostic est un attribut de objet objet est un membre de Agnosticism
No TPTP formula. May not be expressible in strict first order. People.kif 1347-1349 AhmadiyyaMuslim est un attribut de objet objet est un membre de AhmadiyyaSect
No TPTP formula. May not be expressible in strict first order. People.kif 1225-1227 Anglican est un attribut de objet objet est un membre de Anglicanism
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 Anglican est un attribut de objet objet est un membre de ChurchOfEngland
No TPTP formula. May not be expressible in strict first order. People.kif 720-722 Atheist est un attribut de objet objet est un membre de Atheism
No TPTP formula. May not be expressible in strict first order. People.kif 757-759 Bahai est un attribut de objet objet est un membre de Bahaism
No TPTP formula. May not be expressible in strict first order. People.kif 769-771 Buddhist est un attribut de objet objet est un membre de Buddhism
No TPTP formula. May not be expressible in strict first order. People.kif 1306-1308 Confucianist est un attribut de objet objet est un membre de Confucianism
No TPTP formula. May not be expressible in strict first order. People.kif 1361-1363 DruzeMuslim est un attribut de objet objet est un membre de DruzeSect
No TPTP formula. May not be expressible in strict first order. People.kif 1247-1249 EasternOrthodoxChristian est un attribut de objet objet est un membre de EasternOrthodoxChristianity
No TPTP formula. May not be expressible in strict first order. People.kif 1318-1320 Hindu est un attribut de objet objet est un membre de Hinduism
No TPTP formula. May not be expressible in strict first order. People.kif 1411-1413 Jain est un attribut de objet objet est un membre de Jainism
No TPTP formula. May not be expressible in strict first order. People.kif 1330-1332 Muslim est un attribut de objet objet est un membre de Islam
No TPTP formula. May not be expressible in strict first order. People.kif 1457-1459 Neopaganismist est un attribut de objet objet est un membre de Neopaganism
No TPTP formula. May not be expressible in strict first order. People.kif 1261-1263 Protestant est un attribut de objet objet est un membre de Protestantism
No TPTP formula. May not be expressible in strict first order. People.kif 1428-1430 ReligiousJew est un attribut de objet objet est un membre de Judaism
No TPTP formula. May not be expressible in strict first order. People.kif 1283-1285 RomanCatholic est un attribut de objet objet est un membre de RomanCatholicChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1275-1277 RomanCatholic est un attribut de objet objet est un membre de RomanCatholicism
No TPTP formula. May not be expressible in strict first order. People.kif 1377-1379 ShiaMuslim est un attribut de objet objet est un membre de ShiiteSect
No TPTP formula. May not be expressible in strict first order. People.kif 1472-1474 Shintoist est un attribut de objet objet est un membre de Shinto
No TPTP formula. May not be expressible in strict first order. People.kif 1487-1489 Sikh est un attribut de objet objet est un membre de Sikhism
No TPTP formula. May not be expressible in strict first order. People.kif 1396-1398 SunniMuslim est un attribut de objet objet est un membre de SunniSect
No TPTP formula. May not be expressible in strict first order. People.kif 1502-1504 Taoist est un attribut de objet objet est un membre de Taoism
No TPTP formula. May not be expressible in strict first order. People.kif 1517-1519 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
-------------------------


No TPTP formula. May not be expressible in strict first order. 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�
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 Denmark est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 Sweden est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 UnitedKingdom est un membre de EuropeanMonetaryUnion

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


No TPTP formula. May not be expressible in strict first order. Government.kif 3199-3199 Austria est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Media.kif 2618-2618 BakerIsland est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2903-2903 Belgium est un membre de BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3200-3200 Belgium est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3201-3201 Cyprus est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3202-3202 Estonia est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3203-3203 Finland est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3204-3204 France est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3205-3205 Germany est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3206-3206 Greece est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Media.kif 2619-2619 HowlandIsland est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 3207-3207 Ireland est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3208-3208 Italy est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Media.kif 2620-2620 JarvisIsland est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2625-2625 JohnstonAtoll est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2621-2621 KingmanReef est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 3209-3209 Latvia est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3210-3210 Lithuania est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 2905-2905 Luxembourg est un membre de BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3211-3211 Luxembourg est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3212-3212 Malta est un membre de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Media.kif 2626-2626 MidwayIslands est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Media.kif 2622-2622 NavassaIsland est un membre de UnitedStatesMinorOutlyingIslands
No TPTP formula. May not be expressible in strict first order. Government.kif 2904-2904 Netherlands est un membre de BeneluxEconomicUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3213-3213 Netherlands est un membre de EuropeanMonetaryUnion

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)

Show without tree


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