holdsDuring |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2083-2085 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3884-3887 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 731-733 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3881-3881 | Le nombre 1 argument de holdsDuring est une instance de position temporel |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3882-3882 | Le nombre 2 argument de holdsDuring est une instance de formule |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3880-3880 | holdsDuring est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3879-3879 | holdsDuring est une instance de pr�dicat binaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 121-121 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 82-82 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 129-129 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 1909-1909 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 34-34 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 117-117 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 142-142 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 169-169 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 101-101 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 81-81 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 264-264 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 3869-3869 | time est reli� � l'int�rieur de SUMO � holdsDuring |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 122-122 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28353-28353 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28352-28352 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28351-28351 | |
No TPTP formula. May not be expressible in strict first order. | terms-de.txt 42-42 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 265-265 |
antecedent |
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ann�e est une instance de l' ann�e nombre entier ChildrenBornPerWomanFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2453-2457 | Position temporel position temporel est une instance de l' ann�e 1976 coworker SteveJobsOfApple and SteveWozniakOfApple pendant position temporel |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2441-2445 | Position temporel position temporel est une instance de l' ann�e 2002 coworker SteveJobsOfApple and TimCookOfApple pendant position temporel |
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� |
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2501-2504 | Serbia est une instance de EuropeanNation position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2496-2499 | Serbia est une instance de IndependentState position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2506-2509 | Serbia s'appele nom "Republic of Serbia" position temporel est une instance de le jour 5 pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2528-2531 | Position temporel est une instance de le jour 3 Montenegro est une instance de EuropeanNation pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2523-2526 | Position temporel est une instance de le jour 3 Montenegro est une instance de IndependentState pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2533-2536 | Position temporel est une instance de le jour 3 Montenegro s'appele nom "Montenegro" pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2546-2550 | Position temporel est une instance de le jour 3 SerbiaAndMontenegro est une instance de IndependentState pendant apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2791-2794 | Position temporel est une instance de le jour 1 conventionalLongName "Andean Community of Nations" and AndeanCommunityOfNations pendant immediatement apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2765-2769 | Position temporel est une instance de l' ann�e 1996 conventionalLongName "Agency for the French-Speaking Community" and AgencyForTheFrenchSpeakingCommunity pendant immediatement apr�s position temporel |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1920-1920 | JesusOfNazareth est situ� � Palestine pendant temps d'existence de JesusOfNazareth |