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 |