Male
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18125-18125 | Male e' &o oposto de Female |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 4019-4019 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18126-18127 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18124-18124 | Male e' uma instancia de Atributo Sexual |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1394-1394 | King e' um sub-atributo de Male |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1423-1423 | PrinceConsort e' um sub-atributo de Male |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35831-35831 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35830-35830 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35829-35829 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18105-18105 | exhaustiveAttribute Atributo Sexual, Female, Male and NonBinaryGender |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 155-170 |
|
No TPTP formula. May not be expressible in strict first order. | ArabicCulture.kif 151-163 |
|
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 189-204 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16487-16491 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 354-359 |
|
consequent |
No TPTP formula. May not be expressible in strict first order. | People.kif 357-390 | Ano e' uma instancia de o ano AnoEAR MaleLifeExpectancyAtBirthFn Area Geopolitica and Ano e' igual a Numero Real Lista Numero Inteiro, Sequencia Simbolica, Entidade, Entidade and Entidade Lista e' uma instancia de Lista comprimento de Lista e' uma instancia de Numero Inteiro ListaITEM
|
No TPTP formula. May not be expressible in strict first order. | People.kif 206-223 | MaleToFemaleRatioFn Area Geopolitica e' igual a Numero Real Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica Numero Inteiro + Numero Inteiro e' igual a Numero Real |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20218-20222 | Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Male e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20241-20245 | Objeto e' uma instancia de Rooster Objeto e' uma instancia de Chicken Male e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1250-1256 | |
No TPTP formula. May not be expressible in strict first order. | Government.kif 1258-1265 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16432-16434 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14652-14654 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16456-16458 |
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. | 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. | 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. | Military.kif 933-946 | ReachingMilitaryAgeAnnuallyMaleFn Area Geopolitica and Ano e' igual a o numero de instancias dentro de a classe descrita por Sequencia Simbolica |