| appearance as argument number 1 |
|
| (documentation KiloFn ChineseLanguage "这是一个 UnaryFunction，它把一个 UnitOfMeasure 联系 都等于原本 UnitOfMeasure 1,000倍的 UnitOfMeasure 上。 例如： (KiloFn Gram) 是 1,000 Grams。") | chinese_format.kif 2440-2442 | |
| (documentation KiloFn EnglishLanguage "A UnaryFunction that maps a UnitOfMeasure into a UnitOfMeasure that is equal to 1,000 units of the original UnitOfMeasure. For example, (KiloFn Gram) is 1,000 Grams.") | Merge.kif 6462-6464 | |
| (documentation KiloFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。例：(KiloFn Gram) は、1,000 Grams である。") | japanese_format.kif 1132-1134 | |
| (domain KiloFn 1 UnitOfMeasure) | Merge.kif 6459-6459 | |
| (instance KiloFn UnitOfMeasureMultiplier) | Merge.kif 6458-6458 | |
| (range KiloFn UnitOfMeasure) | Merge.kif 6460-6460 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage KiloFn "%1 的一千倍") | chinese_format.kif 635-635 | |
| (format EnglishLanguage KiloFn "1 thousand %1s") | english_format.kif 638-638 | |
| (format FrenchLanguage KiloFn "1 millier %1s") | french_format.kif 384-384 | |
| (format ItalianLanguage KiloFn "1 mille %1s") | relations-it.txt 158-158 | |
| (format JapaneseLanguage KiloFn "1 の thousand %1s") | japanese_format.kif 2114-2114 | |
| (format PortugueseLanguage KiloFn "1 mil %1s") | portuguese_format.kif 336-336 | |
| (format de KiloFn "1 tausend %1") | relations-de.txt 831-831 | |
| (format hi KiloFn "1 hajaara %1") | relations-hindi.txt 197-197 | |
| (format ro KiloFn "1 thousand%t{mie} de %1") | relations-ro.kif 406-406 | |
| (format sv KiloFn "1 tusen %1s") | relations-sv.txt 427-427 | |
| (format tg KiloFn "1 libo ng %1") | relations-tg.txt 316-316 | |
| (termFormat ChineseLanguage KiloFn "千") | domainEnglishFormat.kif 32573-32573 | |
| (termFormat ChineseLanguage KiloFn "千倍函数") | chinese_format.kif 636-636 | |
| (termFormat ChineseTraditionalLanguage KiloFn "千") | domainEnglishFormat.kif 32572-32572 | |
| (termFormat EnglishLanguage KiloFn "kilo") | domainEnglishFormat.kif 32571-32571 | |
| (termFormat de KiloFn "KiloFn") | terms-de.txt 246-246 | |
| (termFormat tg KiloFn "tungkulin ng libo") | relations-tg.txt 317-317 |
| antecedent |
|
|
| (=> (and (equal (MeasureFn ?Y McgPerKg) (PerFn ?M1 ?M2)) (equal ?M1 (MeasureFn ?NUM1 (MicroFn Gram))) (equal ?M2 (MeasureFn ?NUM2 (KiloFn Gram)))) (exists (?I ?B ?A) (and (instance ?I Ingesting) (instance ?B BiologicallyActiveSubstance) (instance ?A Organism) (patient ?I ?B) (agent ?I ?A) (weight ?B ?M1) (weight ?A ?M2)))) |
WMD.kif 823-840 | |
| (=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT))) |
Merge.kif 6466-6470 | |
| (=> (and (roomTempState ?C ?PS) (instance ?S ?C) (holdsDuring ?T (roomTempState ?C Liquid)) (measure ?S (MeasureFn 101 (KiloFn Pascal)))) (holdsDuring ?T (measure ?S (MeasureFn 68 FahrenheitDegree)))) |
Mid-level-ontology.kif 32801-32812 |
| consequent |
|
|
| statement |
|
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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