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 | O argumento numero 1 de CardinalityFn e' uma instancia de a uniao de Conjunto ou Classe e Colecao |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5507-5507 | CardinalityFn e' uma instancia de funcao Unaria |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5509-5509 | O contra-dominio de CardinalityFn e' uma instancia de Numero Inteiro |
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 |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1007-1011 | Entidade e' uma instancia de PersonalAccount o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' maior que 1 Entidade e' uma instancia de JointAccount |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8045-8052 |
|
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. | UXExperimentalTerms.kif 3282-3302 |
|
No TPTP formula. May not be expressible in strict first order. | Government.kif 446-450 |
|
consequent |
statement |
No TPTP formula. May not be expressible in strict first order. | People.kif 456-469 | Ano e' uma instancia de o ano Numero Inteiro ChildrenBornPerWomanFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Military.kif 872-881 | AvailableForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14182-14182 | O numero de instancias dentro de Continente e' igual a 7 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2003-2003 | O numero de instancias dentro de NativityMagi e' igual a 3 |
No TPTP formula. May not be expressible in strict first order. | Military.kif 895-906 | FitForMilitaryServiceMaleFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31734-31739 | OrganismPopulationFn Organismo and Area Geografica e' igual a o numero de instancias dentro de a classe descrita por OrganismoI |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31712-31717 | PopulationFn Area Geopolitica e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1965-1965 | O numero de instancias dentro de TwelveApostles e' maior ou igual a 11 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1966-1966 | O numero de instancias dentro de TwelveApostles e' menor ou igual a 12 |