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

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2440-2442
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6458-6460
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1132-1134
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6455-6455	The number 1 argument of kilo is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6454-6454	Kilo is an instance of unit of measure multiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6456-6456	The range of kilo is an instance of unit of measure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 635-635
No TPTP formula. May not be expressible in strict first order.	english_format.kif 638-638
No TPTP formula. May not be expressible in strict first order.	french_format.kif 384-384
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 158-158
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2114-2114
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 336-336
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 831-831
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 197-197
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 406-406
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 427-427
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 316-316
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32573-32573
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 636-636
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32572-32572
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32571-32571
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 246-246
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 317-317

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6462-6466	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)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32630-32641	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

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6490-6494	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)
No TPTP formula. May not be expressible in strict first order.	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 trillion the unit of measures, then 1 the other unit of measure(s) is equal to 1000000000 1 thousand the unit of measures(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4766-4772	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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3950-3956	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)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3975-3982	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)
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Geography.kif 617-617	Square kilometer is equal to the square unit of 1 thousand meters
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4740-4743	The length of the shoreline of southern ocean and antarctica is 17968.0 1 thousand meters(s)
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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