TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2493-2493
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6703-6704
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1187-1188
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6599-6599
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6701-6701	Gram is an instance of systeme international unit
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	Gram is an instance of unit of mass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26376-26376
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26375-26375
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26374-26374

antecedent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 172-187	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	If anaemia is an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is less than 13
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.	Geography.kif 2873-2884	If an object is an instance of brine and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 35.0 and the real number is less than or equal to 260.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	If an object is an instance of coffee arabica and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.008 and the third real number is less than or equal to 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	If an object is an instance of coffee robusta and the measure of the object is a real number gram(s) and the objectC is an instance of caffeine and the objectC is a part of the object and the measure of the objectC is another real number gram(s) and a third real number is equal to the other real number and the real number, then the third real number is greater than or equal to 0.017 and the third real number is less than or equal to 0.04
No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	If an object is an instance of cream and the object is a part of another object and the other object is an instance of butter fat and the measure of the other object is a real number gram(s) and a third object is an instance of milk and the third object is a part of a fourth object and the fourth object is an instance of butter fat and the measure of the fourth object is another real number gram(s), then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Food.kif 2463-2478	If a self connected object is an instance of cocoa liquor and 100.0 gram(s) is a weight of the self connected object and another self connected object is an instance of cocoa solid and the other self connected object is a part of the self connected object and a real number gram(s) is a weight of the other self connected object and a third self connected object is an instance of cocoa butter and the third self connected object is a part of the self connected object and another real number gram(s) is a weight of the third self connected object, then the approximate value of the real number is 50.0 and the approximate value of the other real number is 50.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2855-2866	If an object is an instance of brackish water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the real number is greater than 0.5 and the real number is less than or equal to 30.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2836-2845	If an object is an instance of sea water and the measure of the object is 1.0 liter(s) and another object is a part of the object and the other object is an instance of salt and the measure of the other object is a real number gram(s), then the approximate value of the real number is 35.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and female is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	If anaemia is not an attribute of an object and another object is an instance of blood and the other object is a part of the object and male is an attribute of the object and the measure of the other object is 0.1 liter(s) and the objectE is an instance of hemoglobin and the objectE is a part of the other object and the objectE2 is not an instance of hemoglobin and the objectE is not equal to the objectE2 and the object2 is a part of the other object and the measure of the objectE is a real number gram(s), then the real number is greater than 13

consequent

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.	Food.kif 2524-2525	The expected value of box of chocolate is 250.0 gram(s)
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.	Merge.kif 7151-7153	A real number amu(s) is equal to the real number and 1.6605402E-24 gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7279-7282	A real number kilogram(s) is equal to the real number and 1000 gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7296-7298	A real number pound mass(s) is equal to the real number and 453.59237 gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7304-7306	A real number slug(s) is equal to the real number and 14593.90 gram(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: