No TPTP formula. May not be expressible in strict first order. |
WMD.kif 88-88 |
Os valores retornados por AgentOfOrganismFn sao as sub-classes de BiologicalAgent |
No TPTP formula. May not be expressible in strict first order. |
Music.kif 932-932 |
Os valores retornados por AlbumCopiesFn sao as sub-classes de DataStorageDevice |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1776-1776 |
Os valores retornados por AttrFn sao as sub-classes de Objeto |
No TPTP formula. May not be expressible in strict first order. |
Medicine.kif 6235-6235 |
Os valores retornados por BodyAreaFn sao as sub-classes de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14995-14995 |
Os valores retornados por BodySideFn sao as sub-classes de Parte do Corpo |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 675-675 |
Os valores retornados por ConstitutionFn sao as sub-classes de Constitution |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 29714-29714 |
Os valores retornados por CoveringFn sao as sub-classes de WearableItem |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6072-6072 |
Os valores retornados por CutSetFn sao as sub-classes de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8612-8612 |
Os valores retornados por DayFn sao as sub-classes de Dia |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 116-116 |
Os valores retornados por DeadFn sao as sub-classes de OrganismRemains |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 30619-30619 |
Os valores retornados por DemonymFn sao as sub-classes de NationalPerson |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 3013-3013 |
Os valores retornados por DocumentFn sao as sub-classes de Texto |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9979-9979 |
Os valores retornados por EdemaFn sao as sub-classes de Edema |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15532-15532 |
Os valores retornados por EditionFn sao as sub-classes de Objeto Representendo Conteudo Abstrato |
No TPTP formula. May not be expressible in strict first order. |
Government.kif 1686-1686 |
Os valores retornados por ElectionFn sao as sub-classes de Election |
No TPTP formula. May not be expressible in strict first order. |
ComputingBrands.kif 4515-4515 |
Os valores retornados por FailureFn sao as sub-classes de Processo |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 3668-3668 |
Os valores retornados por FarmOfProductFn sao as sub-classes de CultivatedLandArea |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 3698-3698 |
Os valores retornados por FiscalYearFn sao as sub-classes de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14881-14881 |
Os valores retornados por FoodForFn sao as sub-classes de Objeto auto-conectado |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6915-6915 |
Os valores retornados por GeographicPartTypeFn sao as sub-classes de Area Geografica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6056-6056 |
Os valores retornados por GraphPathFn sao as sub-classes de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 8637-8637 |
Os valores retornados por HourFn sao as sub-classes de Hora |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 13492-13492 |
Os valores retornados por ImpairmentFn sao as sub-classes de Processo Biologico |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 6585-6585 |
Os valores retornados por IntervalFn sao as sub-classes de Quantidade Constante |
No TPTP formula. May not be expressible in strict first order. |
Food.kif 2600-2600 |
Os valores retornados por JuiceOfFn sao as sub-classes de Juice |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |