|
|
   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 | Relation partielle est une sous-classe de relation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8869-8869 | AfternoonFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1775-1775 | AttrFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 896-896 | BackFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8623-8623 | DayFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4742-4742 | DivisionFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15553-15553 | EditionFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8969-8969 | EveningFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1760-1760 | ExtensionFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 876-876 | FrontFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16782-16782 | GovernmentFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4847-4847 | GreatestCommonDivisorFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8648-8648 | HourFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5922-5922 | InitialNodeFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4923-4923 | IntegerSquareRootFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5582-5582 | KappaFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 4931-4931 | LeastCommonMultipleFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2977-2977 | ListOrderFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8674-8674 | MinuteFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8606-8606 | MonthFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8853-8853 | MorningFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 14688-14688 | PeriodicalIssueFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 9003-9003 | QuarterFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8479-8479 | RecurrentTimeIntervalFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5096-5096 | RemainderFn est une instance de relation partielle |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 8701-8701 | SecondFn est une instance de relation partielle |
| 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 | Relation est compl�tement d�compos� en relation total + relation partielle |
|
|
|