PartialValuedRelation(Relacao Parcial) |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14616-14616 | SeriesVolumeFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24414-24414 | SubstringFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5931-5931 | TerminalNodeFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8410-8410 | TimeIntervalFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8949-8949 | WeekFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3031-3031 | acronym e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2432-2432 | agent e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3421-3421 | agentName e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Government.kif 697-697 | agreementAdoptionDate e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Government.kif 757-757 | agreementEffectiveDuring e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23206-23206 | alias e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7701-7701 | altitude e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24167-24167 | ancestorOrganization e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | MilitaryProcesses.kif 1313-1313 | areaOfOperation e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13771-13771 | atomicNumber e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13085-13085 | attends e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5357-5357 | average e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16502-16502 | brother e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Catalog.kif 45-45 | catalogItem e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2194-2194 | coding e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6494-6494 | conjugate e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16094-16094 | connectedEngineeringComponents e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1016-1016 | contains e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7714-7714 | customer e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2443-2443 | destination e' uma instancia de Relacao Parcial |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |