|
| (format JapaneseLanguage PowerSetFn "%1 の 全ての subclasses") | japanese_format.kif 2014-2014 | |
| (format JapaneseLanguage PredecessorFn "(%1+2)") | japanese_format.kif 2158-2158 | |
| (format JapaneseLanguage PremisesFn "引数 %1 の premises") | english_format.kif 785-785 | |
| (format JapaneseLanguage ProbabilityFn "%1 の probability") | japanese_format.kif 1982-1982 | |
| (format JapaneseLanguage PropertyFn "%1 の belongings") | japanese_format.kif 1981-1981 | |
| (format JapaneseLanguage RationalNumberFn "%1の rationalRepresentation") | japanese_format.kif 2148-2148 | |
| (format JapaneseLanguage RealNumberFn "%1の realPart") | japanese_format.kif 2149-2149 | |
| (format JapaneseLanguage ReciprocalFn "%1 の reciprocal") | japanese_format.kif 2150-2150 | |
| (format JapaneseLanguage RecurrentTimeIntervalFn "the recurring period from %1 to %2") | japanese_format.kif 2123-2123 | |
| (format JapaneseLanguage RelativeComplementFn "%1 と %2 の difference") | japanese_format.kif 2069-2069 | |
| (format JapaneseLanguage RelativeTimeFn "ゾーン %2 の時間 %1") | japanese_format.kif 2101-2101 | |
| (format JapaneseLanguage RemainderFn "%1 を %2 で割った剰余数") | japanese_format.kif 2151-2151 | |
| (format JapaneseLanguage RoundFn "%1 の rounded") | japanese_format.kif 2152-2152 | |
| (format JapaneseLanguage SecondFn "%1 second 目") | japanese_format.kif 2064-2064 | |
| (format JapaneseLanguage SeriesVolumeFn "series %1 の volume %2") | japanese_format.kif 2094-2094 | |
| (format JapaneseLanguage SignumFn "%1 の sign") | japanese_format.kif 2153-2153 | |
| (format JapaneseLanguage SineFn "%1 の sine") | japanese_format.kif 2154-2154 | |
| (format JapaneseLanguage SpeedFn "%2 per %1") | japanese_format.kif 2126-2126 | |
| (format JapaneseLanguage SquareRootFn "%1 の squareRoot") | japanese_format.kif 2155-2155 | |
| (format JapaneseLanguage SubtractionFn "(%*[-])") | japanese_format.kif 2132-2132 | |
| (format JapaneseLanguage SuccessorFn "(%1+1)") | japanese_format.kif 2157-2157 | |
| (format JapaneseLanguage TangentFn "%1 の tangent") | japanese_format.kif 2156-2156 | |
| (format JapaneseLanguage TemporalCompositionFn "%1 を %3 の %2s に decomposition") | japanese_format.kif 2050-2050 | |
| (format JapaneseLanguage TeraFn "1 の trillion %1s") | japanese_format.kif 2117-2117 | |
| (format JapaneseLanguage TerminalNodeFn "%1 の terminal ノード") | japanese_format.kif 2165-2165 | |
| 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