![]() |
![]() ![]()
|
![]() |
|
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | Ann�e est une instance de l' ann�e ann�eEAR MaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 403-436 | Ann�e est une instance de l' ann�e nombre entier FemaleLifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 310-342 | Ann�e est une instance de l' ann�e nombre entier LifeExpectancyAtBirthFn secteur g�opolitique and ann�e est nombre r�el liste nombre entier, cha�ne sympbolique, entit�, entit� and entit� liste est une instance de liste longueur de liste est une instance de nombre entier listeITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 272-293 | average liste and nombre r�el liste nombre entier positif longueur de liste est longueur de liste 1th liste est liste nombre entier positif
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7780-7788 | Objet est plus large que objet nombre r�el nombre r�el and unit� de mesure
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1297-1302 | Collection est une sous-collection appartenant � collection physique
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 171-176 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 233-238 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 218-223 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4989-4997 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17719 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1132-1152 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 147-154 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4861-4872 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4874-4888 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4946-4956 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4958-4972 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 936-946 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 2137-2150 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 9916-9923 |
|
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 992-1008 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 7142-7162 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12929-12940 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 10244-10259 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 1012-1026 | |
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. | Government.kif 1241-1248 | ?AGENT ?VOTER, ?ELECTION and ?VOTING
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 923-931 | ?COUNTRY ?ELECTION, ?VOTING and ?VOTER
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1092-1103 | ?POLITY ?AGENT, ?ELECTION, ?VOTINGAGE and ?AGE
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 1160-1174 | ?POLITY ?VOTER, ?ELECTION, ?VOTINGAGE and ?AGE
|
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. | Merge.kif 5421-5425 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5405-5409 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2768-2770 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 632-640 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20751-20757 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 599-604 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 939-944 | |
No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 193-199 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 706-713 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14071-14076 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14099-14105 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14090-14097 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14054-14057 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 738-753 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 280-287 |
|
No TPTP formula. May not be expressible in strict first order. | Music.kif 312-314 | |
No TPTP formula. May not be expressible in strict first order. | Music.kif 261-270 |
|
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 171-176 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 233-238 | |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 218-223 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16851-16860 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7740-7745 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7736-7738 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7717-7719 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23251-23257 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |