PartialValuedRelation
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1827-1830 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2225-2230 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 446-450 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2223-2223 | Relacao Parcial e' uma sub-classe de Relacao |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8855-8855 | AfternoonFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1775-1775 | AttrFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 896-896 | BackFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8609-8609 | DayFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4741-4741 | DivisionFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15529-15529 | EditionFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8955-8955 | EveningFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1760-1760 | ExtensionFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 876-876 | FrontFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 16733-16733 | GovernmentFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4846-4846 | GreatestCommonDivisorFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8634-8634 | HourFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5921-5921 | InitialNodeFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4922-4922 | IntegerSquareRootFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5581-5581 | KappaFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 4930-4930 | LeastCommonMultipleFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2976-2976 | ListOrderFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8660-8660 | MinuteFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8592-8592 | MonthFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8839-8839 | MorningFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14660-14660 | PeriodicalIssueFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8989-8989 | QuarterFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8465-8465 | RecurrentTimeIntervalFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5095-5095 | RemainderFn e' uma instancia de Relacao Parcial |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 8687-8687 | SecondFn e' uma instancia de Relacao Parcial |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 2163-2163 | O conceito Relacao e' completamente decomposto em Relacao Total + Relacao Parcial |