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 average Lista and Numero Real |
No TPTP formula. May not be expressible in strict first order. |
People.kif 403-436 |
Ano e' uma instancia de o ano Numero Inteiro FemaleLifeExpectancyAtBirthFn 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 average Lista and Numero Real |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1364-1368 |
Queen e' um atributo de Objeto QueenRegnant e' um atributo de Objeto QueenConsort e' um atributo de Objeto |
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. |
Medicine.kif 1783-1787 |
hearingAcuity Humano, -10 Decibel(s) and 15 Decibel(s) NormalHearingSensitivity e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1794-1798 |
hearingAcuity Humano, 16 Decibel(s) and 25 Decibel(s) BorderlineHearingSensitivity e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1805-1809 |
hearingAcuity Humano, 26 Decibel(s) and 40 Decibel(s) MildHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1815-1819 |
hearingAcuity Humano, 41 Decibel(s) and 55 Decibel(s) ModerateHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1826-1830 |
hearingAcuity Humano, 56 Decibel(s) and 70 Decibel(s) ModeratelySevereHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1837-1841 |
hearingAcuity Humano, 71 Decibel(s) and 90 Decibel(s) SevereHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 1848-1852 |
hearingAcuity Humano, 91 Decibel(s) and 200 Decibel(s) ProfoundHearingLoss e' um atributo de Humano |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17325-17333 |
Entidade e' uma instancia de Humano Entidade Entidade nao emprega %n Entidade vale durante Posicao Temporal Unemployed e' um atributo de Entidade vale durante Posicao Temporal |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20227-20231 |
Objeto e' uma instancia de Bull Objeto e' uma instancia de Cattle Female e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20245-20249 |
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 20236-20240 |
Objeto e' uma instancia de Calf Objeto e' uma instancia de Cattle NonFullyFormed e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30118-30122 |
Objeto e' uma instancia de DamagedVehicle Objeto e' uma instancia de Vehicle DeviceDamaged e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20259-20263 |
Objeto e' uma instancia de Hen Objeto e' uma instancia de Chicken Female e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9006-9010 |
Objeto e' uma instancia de Ice Objeto e' uma instancia de Agua Solid e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20213-20217 |
Objeto e' uma instancia de Lamb Objeto e' uma instancia de Sheep NonFullyFormed e' um atributo de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20268-20272 |
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. |
Hotel.kif 2768-2770 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 16879-16888 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 20787-20794 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 18864-18870 |
|
No TPTP formula. May not be expressible in strict first order. |
ArabicCulture.kif 204-223 |
|
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |