|
| (format EnglishLanguage ABPFn "the average price of %1") | domainEnglishFormat.kif 2644-2644 | |
| (format EnglishLanguage ASPFn "the average selling price of %1") | domainEnglishFormat.kif 2820-2820 | |
| (format EnglishLanguage AbortedFn "the abortion of %1 by %2 ") | domainEnglishFormat.kif 18-18 | |
| (format EnglishLanguage AbortedFn "the process %2 aborted by %1") | MilitaryProcesses.kif 2882-2882 | |
| (format EnglishLanguage AbortedLaunchFn "the aborted launch of %2 by %1") | domainEnglishFormat.kif 22-22 | |
| (format EnglishLanguage AbortedLaunchFn "the launch %2 aborted by %1") | MilitaryProcesses.kif 2885-2885 | |
| (format EnglishLanguage AbortedMissionFn "the military operation %2 aborted by %1") | MilitaryProcesses.kif 2883-2883 | |
| (format EnglishLanguage AbortedMissionFn "the mission of %2 aborted by %1") | domainEnglishFormat.kif 26-26 | |
| (format EnglishLanguage AbsoluteValueFn "the absolute value of %1") | english_format.kif 690-690 | |
| (format EnglishLanguage AccelerationFn "the accelleration %1 of %3 in %2 in the direction %4") | Cars.kif 1271-1272 | |
| (format EnglishLanguage AccountFn "the account of %1") | domainEnglishFormat.kif 34-34 | |
| (format EnglishLanguage AdditionFn "(%*[+])") | english_format.kif 684-684 | |
| (format EnglishLanguage AddressFn "the address of %1") | domainEnglishFormat.kif 54-54 | |
| (format EnglishLanguage AfternoonFn "the afternoon of %1") | domainEnglishFormat.kif 2704-2704 | |
| (format EnglishLanguage AgentOfOrganismFn "the biological agent of %1") | domainEnglishFormat.kif 2716-2716 | |
| (format EnglishLanguage AgreementOrganizationFn "the agreement organization of %1") | domainEnglishFormat.kif 90-90 | |
| (format EnglishLanguage AlbumCopiesFn "the set of copies on %2 of %1") | domainEnglishFormat.kif 2744-2744 | |
| (format EnglishLanguage ArcCosineFn "the arccosine of %1") | Merge.kif 5275-5275 | |
| (format EnglishLanguage ArcSineFn "the arcsine of %1") | Merge.kif 5285-5285 | |
| (format EnglishLanguage ArcTangentFn "the arctan of %1") | Merge.kif 5265-5265 | |
| (format EnglishLanguage AssignmentFn "%1(%*{2-}[,])") | english_format.kif 349-349 | |
| (format EnglishLanguage AssociativeFunction "the associative function of %1 and %2") | domainEnglishFormat.kif 206-206 | |
| (format EnglishLanguage AttrFn "the attr of %1 and %2") | domainEnglishFormat.kif 218-218 | |
| (format EnglishLanguage AuctionGMBFn "the total purchase price of %1") | domainEnglishFormat.kif 2840-2840 | |
| (format EnglishLanguage AvailableForMilitaryServiceMaleFn "the available for military service male of %1") | domainEnglishFormat.kif 222-222 | |
| 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