rangeSubclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18372-18372 | Os valores retornados por MakingFn sao as sub-classes de Objeto |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6322-6322 | Os valores retornados por MeasuringProcessFn sao as sub-classes de Medir |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6080-6080 | Os valores retornados por MinimalCutSetFn sao as sub-classes de Caminho do Grafo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8641-8641 | Os valores retornados por MinuteFn sao as sub-classes de Minuto |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8573-8573 | Os valores retornados por MonthFn sao as sub-classes de Mes |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 1520-1520 | Os valores retornados por NetworkCommunicationFn sao as sub-classes de NetworkCommunication |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 20489-20489 | Os valores retornados por OccupationFn sao as sub-classes de Transacao Financeira |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17885-17885 | Os valores retornados por OperatingFn sao as sub-classes de Processo |
No TPTP formula. May not be expressible in strict first order. | Economy.kif 5250-5250 | Os valores retornados por OrganicObjectFn sao as sub-classes de Objeto |
No TPTP formula. May not be expressible in strict first order. | Government.kif 502-502 | Os valores retornados por OverseasAreaFn sao as sub-classes de OverseasArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6351-6351 | Os valores retornados por PainFn sao as sub-classes de Pain |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6324-6324 | Os valores retornados por ParalysisFn sao as sub-classes de Paralysis |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 770-770 | Os valores retornados por PerimeterAreaFn sao as sub-classes de PerimeterArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14664-14664 | Os valores retornados por PeriodicalIssueFn sao as sub-classes de Periodico |
No TPTP formula. May not be expressible in strict first order. | Food.kif 3353-3353 | Os valores retornados por PlantFn sao as sub-classes de Planta |
No TPTP formula. May not be expressible in strict first order. | Music.kif 829-829 | Os valores retornados por PlayingInstrumentFn sao as sub-classes de MakingInstrumentalMusic |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 798-798 | Os valores retornados por PowerSetFn sao as sub-classes de Conjunto ou Classe |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1360-1360 | Os valores retornados por PressingKeyFn sao as sub-classes de SingleKeyPress |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8970-8970 | Os valores retornados por QuarterFn sao as sub-classes de QuarterYear |
No TPTP formula. May not be expressible in strict first order. | Media.kif 185-185 | Os valores retornados por ReceivingAnObjectFn sao as sub-classes de Obter |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8446-8446 | Os valores retornados por RecurrentTimeIntervalFn sao as sub-classes de Intervalo Temporal |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8668-8668 | Os valores retornados por SecondFn sao as sub-classes de Segundo |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13490-13490 | Os valores retornados por SenseImpairmentFn sao as sub-classes de Processo Patologico |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13510-13510 | Os valores retornados por SenseInabilityFn sao as sub-classes de Processo Patologico |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14619-14619 | Os valores retornados por SeriesVolumeFn sao as sub-classes de Texto |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |