inhabits |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3373-3374 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14418-14420 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14416-14416 | Le nombre 1 argument de inhabits est une instance de organisme |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14417-14417 | Le nombre 2 argument de inhabits est une instance de objet |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14415-14415 | inhabits est une instance de relation asym�trique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14414-14414 | inhabits 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 521-521 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 526-526 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 308-308 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 143-143 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2076-2076 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 260-260 | |
No TPTP formula. May not be expressible in strict first order. | relations-cz.txt 314-314 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 677-677 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 182-182 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 329-329 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 336-336 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 290-290 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14430-14430 | home est une sous-relation de inhabits |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14437-14437 | stays est une sous-relation de inhabits |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 522-522 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30073-30073 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30072-30072 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 30071-30071 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 291-291 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14518-14522 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14477-14481 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14530-14534 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 70-78 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 92-99 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14422-14428 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 156-187 | Ann�e est une instance de l' ann�e nombre entier MigrantsPerThousandFn secteur g�opolitique and ann�e est nombre r�el ( nombre entier + nombre entier) est entit� est une instance de l' ann�e nombre entier PopulationFn secteur g�opolitique est nombre r�el pendant ann�e nombre r�el + 1000 est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique ( nombre entier + nombre entier) est nombre r�el nombre r�el + nombre r�el est nombre r�el |
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | MaleToFemaleRatioFn secteur g�opolitique est nombre r�el nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier est instances dans la classe d�crite par cha�ne sympbolique nombre entier + nombre entier est nombre r�el |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30144-30151 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30128-30136 | |
No TPTP formula. May not be expressible in strict first order. | MilitaryPersons.kif 26-47 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25092-25101 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17379-17395 |
|
No TPTP formula. May not be expressible in strict first order. | Food.kif 1928-1937 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30412-30419 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14464-14469 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 6042-6046 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15789-15799 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14619-14624 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30660-30667 |
|
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6780-6788 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7024-7031 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6274-6276 |
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 863-872 | AvailableForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 886-897 | FitForMilitaryServiceMaleFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31744-31749 | PopulationFn secteur g�opolitique est instances dans la classe d�crite par cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Military.kif 924-937 | ReachingMilitaryAgeAnnuallyMaleFn secteur g�opolitique and ann�e est instances dans la classe d�crite par cha�ne sympbolique |