|
| (format EnglishLanguage EndFn "the end of %1") | english_format.kif 457-457 | |
| (format EnglishLanguage EndNodeFn "the end of %1") | english_format.kif 767-767 | |
| (format EnglishLanguage EveningFn "the evening of %1") | domainEnglishFormat.kif 3320-3320 | |
| (format EnglishLanguage ExclusiveFishingZoneFn "the exclusive fishing zone of %1") | domainEnglishFormat.kif 925-925 | |
| (format EnglishLanguage ExecutiveBranchFn "the executive branch of %1") | domainEnglishFormat.kif 933-933 | |
| (format EnglishLanguage ExponentiationFn "%1 raised to the power %2") | english_format.kif 698-698 | |
| (format EnglishLanguage ExtendedFishingZoneFn "the extended fishing zone of %1") | domainEnglishFormat.kif 977-977 | |
| (format EnglishLanguage ExtensionFn "the class corresponding to %1") | english_format.kif 262-262 | |
| (format EnglishLanguage FarmOfProductFn "a farm of %1 in %2") | domainEnglishFormat.kif 3396-3396 | |
| (format EnglishLanguage FemaleLifeExpectancyAtBirthFn "the female life expectancy at birth of %1 and %2") | domainEnglishFormat.kif 997-997 | |
| (format EnglishLanguage FirstFn "the first of %1") | domainEnglishFormat.kif 1010-1010 | |
| (format EnglishLanguage FiscalYearFn "the fiscal year of %1") | domainEnglishFormat.kif 1014-1014 | |
| (format EnglishLanguage FiscalYearStartingFn "the fiscal year starting of %1 and %2") | domainEnglishFormat.kif 1023-1023 | |
| (format EnglishLanguage FitForMilitaryServiceMaleFn "the fit for military service male of %1") | domainEnglishFormat.kif 1031-1031 | |
| (format EnglishLanguage FloorFn "the largest integer less than or equal to %1") | english_format.kif 700-700 | |
| (format EnglishLanguage FlowFn "the flow of %1") | domainEnglishFormat.kif 1067-1067 | |
| (format EnglishLanguage FlowRegionFn "the flow region of %1") | domainEnglishFormat.kif 1071-1071 | |
| (format EnglishLanguage FoodForFn "food for %1") | domainEnglishFormat.kif 3468-3468 | |
| (format EnglishLanguage FrontFn "the front of %1") | english_format.kif 264-264 | |
| (format EnglishLanguage FutureFn "after %1") | english_format.kif 467-467 | |
| (format EnglishLanguage GMBFn "the value of %1") | domainEnglishFormat.kif 3520-3520 | |
| (format EnglishLanguage GMVFn "the value of %1") | domainEnglishFormat.kif 3524-3524 | |
| (format EnglishLanguage GPIFn "the value of %1 during %2") | domainEnglishFormat.kif 3528-3528 | |
| (format EnglishLanguage GPSFn "the value of %1") | domainEnglishFormat.kif 3532-3532 | |
| (format EnglishLanguage GeneralizedIntersectionFn "the intersection of all the elements of %1") | english_format.kif 509-509 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners