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 O argumento numero 1 de member e' uma instancia de Fisico
No TPTP formula. May not be expressible in strict first order. Merge.kif 1280-1280 O argumento numero 2 de member e' uma instancia de Colecao
No TPTP formula. May not be expressible in strict first order. Merge.kif 1276-1276 member e' uma instancia de Relacao Assimetrica
No TPTP formula. May not be expressible in strict first order. Merge.kif 1277-1277 member e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order. Merge.kif 1278-1278 member e' uma instancia de Relacao Intransitiva
No TPTP formula. May not be expressible in strict first order. Merge.kif 1282-1282 member e' relacionado internamente por SUMO a element
No TPTP formula. May not be expressible in strict first order. Merge.kif 1281-1281 member e' relacionado internamente por SUMO a 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 e' uma sub-relacao de member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7554-7554 groupMember e' uma sub-relacao de member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16791-16791 student e' uma sub-relacao de member
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16863-16863 teacher e' uma sub-relacao 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 Fisico e' membro de InternationalRedCrossAndRedCrescentMovement Fisico e' membro 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 e' um atributo de Objeto Objeto e' membro de BeliefGroup
No TPTP formula. May not be expressible in strict first order. People.kif 702-704 Agnostic e' um atributo de Objeto Objeto e' membro de Agnosticism
No TPTP formula. May not be expressible in strict first order. People.kif 1347-1349 AhmadiyyaMuslim e' um atributo de Objeto Objeto e' membro de AhmadiyyaSect
No TPTP formula. May not be expressible in strict first order. People.kif 1225-1227 Anglican e' um atributo de Objeto Objeto e' membro de Anglicanism
No TPTP formula. May not be expressible in strict first order. People.kif 1233-1235 Anglican e' um atributo de Objeto Objeto e' membro de ChurchOfEngland
No TPTP formula. May not be expressible in strict first order. People.kif 720-722 Atheist e' um atributo de Objeto Objeto e' membro de Atheism
No TPTP formula. May not be expressible in strict first order. People.kif 757-759 Bahai e' um atributo de Objeto Objeto e' membro de Bahaism
No TPTP formula. May not be expressible in strict first order. People.kif 769-771 Buddhist e' um atributo de Objeto Objeto e' membro de Buddhism
No TPTP formula. May not be expressible in strict first order. People.kif 1306-1308 Confucianist e' um atributo de Objeto Objeto e' membro de Confucianism
No TPTP formula. May not be expressible in strict first order. People.kif 1361-1363 DruzeMuslim e' um atributo de Objeto Objeto e' membro de DruzeSect
No TPTP formula. May not be expressible in strict first order. People.kif 1247-1249 EasternOrthodoxChristian e' um atributo de Objeto Objeto e' membro de EasternOrthodoxChristianity
No TPTP formula. May not be expressible in strict first order. People.kif 1318-1320 Hindu e' um atributo de Objeto Objeto e' membro de Hinduism
No TPTP formula. May not be expressible in strict first order. People.kif 1411-1413 Jain e' um atributo de Objeto Objeto e' membro de Jainism
No TPTP formula. May not be expressible in strict first order. People.kif 1330-1332 Muslim e' um atributo de Objeto Objeto e' membro de Islam
No TPTP formula. May not be expressible in strict first order. People.kif 1457-1459 Neopaganismist e' um atributo de Objeto Objeto e' membro de Neopaganism
No TPTP formula. May not be expressible in strict first order. People.kif 1261-1263 Protestant e' um atributo de Objeto Objeto e' membro de Protestantism
No TPTP formula. May not be expressible in strict first order. People.kif 1428-1430 ReligiousJew e' um atributo de Objeto Objeto e' membro de Judaism
No TPTP formula. May not be expressible in strict first order. People.kif 1283-1285 RomanCatholic e' um atributo de Objeto Objeto e' membro de RomanCatholicChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1275-1277 RomanCatholic e' um atributo de Objeto Objeto e' membro de RomanCatholicism
No TPTP formula. May not be expressible in strict first order. People.kif 1377-1379 ShiaMuslim e' um atributo de Objeto Objeto e' membro de ShiiteSect
No TPTP formula. May not be expressible in strict first order. People.kif 1472-1474 Shintoist e' um atributo de Objeto Objeto e' membro de Shinto
No TPTP formula. May not be expressible in strict first order. People.kif 1487-1489 Sikh e' um atributo de Objeto Objeto e' membro de Sikhism
No TPTP formula. May not be expressible in strict first order. People.kif 1396-1398 SunniMuslim e' um atributo de Objeto Objeto e' membro de SunniSect
No TPTP formula. May not be expressible in strict first order. People.kif 1502-1504 Taoist e' um atributo de Objeto Objeto e' membro de Taoism
No TPTP formula. May not be expressible in strict first order. People.kif 1517-1519 Zoroastrian e' um atributo de Objeto Objeto e' membro 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 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
No TPTP formula. May not be expressible in strict first order. Government.kif 3219-3219 Denmark e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3220-3220 Sweden e' membro de EuropeanMonetaryUnion
No TPTP formula. May not be expressible in strict first order. Government.kif 3221-3221 UnitedKingdom e' membro de EuropeanMonetaryUnion

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


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