![]() |
![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18147-18147 | 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 18148-18149 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18146-18146 | 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 18127-18127 | 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 16509-16513 | |
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 20217-20221 | 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 20240-20244 | 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 16454-16456 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14674-14676 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16478-16480 |
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 |
![]() |
![]() |