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 e' uma instancia de Sistema International de Unidades
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6700-6700	Gram e' uma instancia de UnitOfMass

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	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 155-170	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' menos que 13
No TPTP formula. May not be expressible in strict first order.	WMD.kif 823-840	Numero Real McgPerKg(s) e' igual a PerFn Medida de Massa and Medida de Massa Medida de Massa e' igual a Numero Real um milhonesimo de Gram(s) Medida de Massa e' igual a Numero Real 1 mil Grams(s) Processo Objeto auto-conectado and Objeto auto-conectado Processo e' uma instancia de Ingerir Objeto auto-conectado e' uma instancia de Substancia Biologica Ativa Objeto auto-conectado e' uma instancia de Organismo Objeto auto-conectado e' um patient de Processo Processo e' um agente de Objeto auto-conectado weight Objeto auto-conectado and Medida de Massa weight Objeto auto-conectado and Medida de Massa
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2873-2884	Objeto e' uma instancia de Brine a medida de Objeto e' 1.0 Liter(s) Objeto e' uma &parte de Objeto Objeto e' uma instancia de SodiumChloride a medida de Objeto e' Numero Real Gram(s) Numero Real e' maior que 35.0 Numero Real e' menor ou igual a 260.0
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4645-4658	Objeto e' uma instancia de CoffeeArabica a medida de Objeto e' Numero Real Gram(s) ObjetoC e' uma instancia de Caffeine ObjetoC e' uma &parte de Objeto a medida de ObjetoC e' Numero Real Gram(s) Numero Real e' igual a Numero Real + Numero Real Numero Real e' maior ou igual a 0.008 Numero Real e' menor ou igual a 0.014
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4669-4682	Objeto e' uma instancia de CoffeeRobusta a medida de Objeto e' Numero Real Gram(s) ObjetoC e' uma instancia de Caffeine ObjetoC e' uma &parte de Objeto a medida de ObjetoC e' Numero Real Gram(s) Numero Real e' igual a Numero Real + Numero Real Numero Real e' maior ou igual a 0.017 Numero Real e' menor ou igual a 0.04
No TPTP formula. May not be expressible in strict first order.	Food.kif 3124-3136	Objeto e' uma instancia de Cream Objeto e' uma &parte de Objeto Objeto e' uma instancia de ButterFat a medida de Objeto e' Numero Real Gram(s) Objeto e' uma instancia de Milk Objeto e' uma &parte de Objeto Objeto e' uma instancia de ButterFat a medida de Objeto e' Numero Real Gram(s) Numero Real e' maior que Numero Real
No TPTP formula. May not be expressible in strict first order.	Food.kif 2463-2478	Objeto auto-conectado e' uma instancia de CocoaLiquor weight Objeto auto-conectado and 100.0 Gram(s) Objeto auto-conectado e' uma instancia de CocoaSolid Objeto auto-conectado e' uma &parte de Objeto auto-conectado weight Objeto auto-conectado and Numero Real Gram(s) Objeto auto-conectado e' uma instancia de CocoaButter Objeto auto-conectado e' uma &parte de Objeto auto-conectado weight Objeto auto-conectado and Numero Real Gram(s) approximateValue Numero Real and 50.0 approximateValue Numero Real and 50.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2855-2866	Objeto e' uma instancia de BrackishWater a medida de Objeto e' 1.0 Liter(s) Objeto e' uma &parte de Objeto Objeto e' uma instancia de SodiumChloride a medida de Objeto e' Numero Real Gram(s) Numero Real e' maior que 0.5 Numero Real e' menor ou igual a 30.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2836-2845	Objeto e' uma instancia de SeaWater a medida de Objeto e' 1.0 Liter(s) Objeto e' uma &parte de Objeto Objeto e' uma instancia de SodiumChloride a medida de Objeto e' Numero Real Gram(s) approximateValue Numero Real and 35.0
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 206-221	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Female e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' maior que 12
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 189-204	Anemia e' um atributo de Objeto Objeto e' uma instancia de Sangue Objeto e' uma &parte de Objeto Male e' um atributo de Objeto a medida de Objeto e' 0.1 Liter(s) ObjetoE e' uma instancia de Hemoglobin ObjetoE e' uma &parte de Objeto ObjetoE2 e' uma instancia de Hemoglobin ObjetoE e' igual a ObjetoE2 Objeto2 e' uma &parte de Objeto a medida de ObjetoE e' Numero Real Gram(s) Numero Real e' maior que 13

consequent

No TPTP formula. May not be expressible in strict first order.

Food.kif 799-834

Posicao Temporal e' uma instancia de EspressoMaking
Entidade Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade, Entidade and Entidade Entidade e' uma instancia de Aquecer Entidade e' um patient de Entidade a medida de Entidade e' Entidade Liter(s) approximateValue Entidade and 0.03 a medida de Entidade e' Entidade CelsiusDegree(s) approximateValue Entidade and 90 vale durante o fim de tempo de existencia de Entidade Entidade e' uma instancia de LiquidMotion Entidade e' um patient de Entidade a medida de Entidade e' Entidade 1 mil Pascals(s) approximateValue Entidade and 900 vale durante Entidade Entidade termina em Entidade Entidade e' uma instancia de Colecao a medida de Entidade e' Entidade Gram(s) approximateValue Entidade and 7.5 Entidade e' membro de Entidade Entidade e' uma instancia de CoffeeGrind FineGrind e' um atributo de Entidade Entidade e' situado em Entidade Entidade e' uma instancia de Filter Entidade e' uma instancia de Remover Entidade e' um instrumento para Entidade Entidade e' um patient de Entidade o fim de tempo de existencia de Entidade e' entre o fim de tempo de existencia de Entidade e o fim de tempo de existencia de Entidade vale durante Posicao Temporal

statement

No TPTP formula. May not be expressible in strict first order.	Food.kif 2524-2525	defaultMeasure BoxOfChocolates and 250.0 Gram(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1439-1439	effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7151-7153	Numero Real Amu(s) e' igual a Numero Real + 1.6605402E-24 Gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7279-7282	Numero Real Kilogram(s) e' igual a Numero Real + 1000 Gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7296-7298	Numero Real PoundMass(s) e' igual a Numero Real + 453.59237 Gram(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7304-7306	Numero Real Slug(s) e' igual a Numero Real + 14593.90 Gram(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 439-439	lethalDose AbrinToxin and PerFn 0.04 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 310-310	lethalDose Batrachotoxin and PerFn 2.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 325-325	lethalDose BotulinumToxin and PerFn 0.001 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	lethalDose Diacetoxyscirpenol and PerFn 23.0 um milesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 431-431	lethalDose RicinToxin and PerFn 3.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 586-586	lethalDose Sarin and PerFn 100.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1339-1339	lethalDose ShigaToxin and PerFn 0.002 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 582-582	lethalDose Soman and PerFn 64.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1440-1440	lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	lethalDose T2Toxin and PerFn 5.2 um milesimo de Gram(s) and 1.0 1 mil Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 599-599	lethalDose VX and PerFn 15.0 um milhonesimo de Gram(s) and 1.0 1 mil Grams(s)

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: