KiloFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - KiloFn

KiloFn

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 6472-6474
(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 6469-6469	The number 1 argument of kilo is an instance of unit of measure
(instance KiloFn UnitOfMeasureMultiplier)	Merge.kif 6468-6468	Kilo is an instance of unit of measure multiplier
(range KiloFn UnitOfMeasure)	Merge.kif 6470-6470	The range of kilo is an instance of unit of measure

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 32574-32574
(termFormat ChineseLanguage KiloFn "千倍函数")	chinese_format.kif 636-636
(termFormat ChineseTraditionalLanguage KiloFn "千")	domainEnglishFormat.kif 32573-32573
(termFormat EnglishLanguage KiloFn "kilo")	domainEnglishFormat.kif 32572-32572
(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	If a real number micrograms per kilogram(s) is equal to the per of a mass measure and another mass measure and the mass measure is equal to another real number one millionth of a gram(s) and the other mass measure is equal to a third real number 1 thousand grams(s), then there exist a process, a self connected object and another self connected object such that the process is an instance of ingesting and the self connected object is an instance of biologically active substance and the other self connected object is an instance of organism and the self connected object is a patient of the process and the other self connected object is an agent of the process and the mass measure is a weight of the self connected object and the other mass measure is a weight of the other self connected object
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?KILOUNIT (KiloFn ?UNIT))) (equal (MeasureFn 1 ?KILOUNIT) (MeasureFn 1000 ?UNIT)))	Merge.kif 6476-6480	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 thousand the unit of measures, then 1 the other unit of measure(s) is equal to 1000 the unit of measure(s)
(=> (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 31943-31954	If roomTempState a kind of substance and a physical state and a physical is an instance of a kind of substance and roomTempState the kind of substance and liquid holds during a time position and the measure of the physical is 101 1 thousand pascals(s), then the measure of the physical is 68 fahrenheit degree(s) holds during the time position

consequent

(=> (and (instance ?UNIT UnitOfMeasure) (equal ?GIGAUNIT (GigaFn ?UNIT))) (equal (MeasureFn 1 ?GIGAUNIT) (MeasureFn 1000000 (KiloFn ?UNIT))))	Merge.kif 6504-6508	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 billion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000 1 thousand the unit of measures(s)
(=> (and (instance ?UNIT UnitOfMeasure) (equal ?TERAUNIT (TeraFn ?UNIT))) (equal (MeasureFn 1 ?TERAUNIT) (MeasureFn 1000000000 (KiloFn ?UNIT))))	Merge.kif 6518-6522	If an unit of measure is an instance of unit of measure and another unit of measure is equal to 1 trillion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000000 1 thousand the unit of measures(s)
(=> (and (origin AntarcticCircumpolarCurrent ?START) (destination AntarcticCircumpolarCurrent ?FINISH)) (distance ?START ?FINISH (MeasureFn 21000.0 (KiloFn Meter))))	Geography.kif 4697-4703	If antarctic circumpolar current originates at an object and antarctic circumpolar current ends up at a physical, then the distance between the object and the physical is 21000.0 1 thousand meters(s)
(=> (equal ?AMOUNT (MeasureFn ?NUM NauticalMile)) (equal ?AMOUNT (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 3869-3875	If a physical quantity is equal to a real number nautical mile(s), then the physical quantity is equal to the real number and 1.852 1 thousand meters(s)
(=> (equal ?NUM (MultiplicationFn 1.0 ?NUM)) (equal (MeasureFn ?NUM NauticalMile) (MeasureFn (MultiplicationFn ?NUM 1.852) (KiloFn Meter))))	Geography.kif 3894-3901	If a real number is equal to 1.0 and the real number, then the real number nautical mile(s) is equal to the real number and 1.852 1 thousand meters(s)
(=> (instance ?EM EspressoMaking) (holdsDuring ?EM (exists (?H ?W ?V ?T ?LM ?P ?COLL ?K ?CG ?F ?R) (and (instance ?H Heating) (patient ?H ?W) (measure ?W (MeasureFn ?V Liter)) (approximateValue ?V 0.03) (holdsDuring (EndFn (WhenFn ?H)) (and (measure ?W (MeasureFn ?T CelsiusDegree)) (approximateValue ?T 90))) (instance ?LM LiquidMotion) (patient ?LM ?W) (holdsDuring ?LM (and (measure ?W (MeasureFn ?P (KiloFn Pascal))) (approximateValue ?P 900))) (destination ?LM ?COLL) (instance ?COLL Collection) (measure ?COLL (MeasureFn ?K Gram)) (approximateValue ?K 7.5) (member ?COLL ?CG) (instance ?CG CoffeeGrind) (attribute ?CG FineGrind) (located ?COLL ?F) (instance ?F Filter) (instance ?R Removing) (instrument ?R ?F) (patient ?R ?COLL) (temporallyBetween (EndFn (WhenFn ?H)) (EndFn (WhenFn ?LM)) (EndFn (WhenFn ?R)))))))	Food.kif 799-834	If a time position is an instance of espresso making, then there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity,, , a tenth entity and a eleventh entity such that the entity is an instance of heating and the other entity is a patient of the entity and the measure of the other entity is the third entity liter(s) and the approximate value of the third entity is 0.03 and the measure of the other entity is the fourth entity celsius degree(s) and the approximate value of the fourth entity is 90 holds during the end of the time of existence of the entity and the fifth entity is an instance of liquid motion and the other entity is a patient of the fifth entity and the measure of the other entity is the sixth entity 1 thousand pascals(s) and the approximate value of the sixth entity is 900 holds during the fifth entity and the fifth entity ends up at the seventh entity and the seventh entity is an instance of collection and the measure of the seventh entity is the eighth entity gram(s) and the approximate value of the eighth entity is 7.5 and the seventh entity is a member of the ninth entity and the ninth entity is an instance of coffee grind and fine grind is an attribute of the ninth entity and the seventh entity is located at the tenth entity and the tenth entity is an instance of filter and the eleventh entity is an instance of removing and the tenth entity is an instrument for the eleventh entity and the seventh entity is a patient of the eleventh entity and the end of the time of existence of the fifth entity is between the end of the time of existence of the entity and the end of the time of existence of the eleventh entity holds during the time position

statement

(effectiveDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.0004 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1439-1439	The per of 0.0004 one millionth of a gram(s) and 1.0 1 thousand grams(s) is an effective dose of staphylococcal enterotoxin b
(equal SquareKilometer (SquareUnitFn (KiloFn Meter)))	Geography.kif 3973-3973	Square kilometer is equal to the square unit of 1 thousand meters
(length (ShorelineFn SouthernOcean Antarctica) (MeasureFn 17968.0 (KiloFn Meter)))	Geography.kif 4671-4674	The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s)
(lethalDose AbrinToxin (PerFn (MeasureFn 0.04 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 439-439	The per of 0.04 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of abrin toxin
(lethalDose Batrachotoxin (PerFn (MeasureFn 2.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 310-310	The per of 2.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of batrachotoxin
(lethalDose BotulinumToxin (PerFn (MeasureFn 0.001 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 325-325	The per of 0.001 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of botulinum toxin
(lethalDose Diacetoxyscirpenol (PerFn (MeasureFn 23.0 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1840-1840	The per of 23.0 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of diacetoxyscirpenol
(lethalDose RicinToxin (PerFn (MeasureFn 3.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 431-431	The per of 3.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of ricin toxin
(lethalDose Sarin (PerFn (MeasureFn 100.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 586-586	The per of 100.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of sarin
(lethalDose ShigaToxin (PerFn (MeasureFn 0.002 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1339-1339	The per of 0.002 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of shiga toxin
(lethalDose Soman (PerFn (MeasureFn 64.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 582-582	The per of 64.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of soman
(lethalDose StaphylococcalEnterotoxinB (PerFn (MeasureFn 0.02 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1440-1440	The per of 0.02 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of staphylococcal enterotoxin b
(lethalDose T2Toxin (PerFn (MeasureFn 5.2 (MilliFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 1845-1845	The per of 5.2 one thousandth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of t2 toxin
(lethalDose VX (PerFn (MeasureFn 15.0 (MicroFn Gram)) (MeasureFn 1.0 (KiloFn Gram))))	WMD.kif 599-599	The per of 15.0 one millionth of a gram(s) and 1.0 1 thousand grams(s) is a lethal dose of VX

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