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 |