CardinalityFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2309-2309 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5511-5513 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 980-981 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5508-5508 | Le nombre 1 argument de CardinalityFn est une instance de l' union de ensemble ou classe et collection |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5507-5507 | CardinalityFn est une instance de function unaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5509-5509 | Le domaine de CardinalityFn est une instance de nombre entier |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 506-506 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 511-511 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 296-296 | |
No TPTP formula. May not be expressible in strict first order. | relations-it.txt 41-41 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2073-2073 | |
No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 248-248 | |
No TPTP formula. May not be expressible in strict first order. | relations-cb.txt 75-75 | |
No TPTP formula. May not be expressible in strict first order. | relations-de.txt 659-659 | |
No TPTP formula. May not be expressible in strict first order. | relations-hindi.txt 83-83 | |
No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 317-317 | |
No TPTP formula. May not be expressible in strict first order. | relations-sv.txt 324-324 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 98-98 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 507-507 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13212-13212 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13211-13211 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 13210-13210 | |
No TPTP formula. May not be expressible in strict first order. | relations-tg.txt 99-99 |
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 872-881 | 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. | Merge.kif 14182-14182 | Le nombre d' instances dans continent est &%�gal � 7 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2003-2003 | Le nombre d' instances dans NativityMagi est &%�gal � 3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | 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 31734-31739 | OrganismPopulationFn organisme and secteur g�ographique est instances dans la classe d�crite par organismeI |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | 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 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. | Media.kif 1965-1965 | Le nombre d' instances dans TwelveApostles est plus grand ou �gal � 11 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1966-1966 | Le nombre d' instances dans TwelveApostles est plus petit ou �gal � 12 |