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 6472-6474
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 6469-6469	Le nombre 1 argument de KiloFn est une instance de unit� de mesure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6468-6468	KiloFn est une instance de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6470-6470	Le domaine de KiloFn est une instance de unit� de mesure

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 32545-32545
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 32544-32544
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 32543-32543
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	Nombre r�el McgPerKg(s) est PerFn mesure de masse and mesure de masse mesure de masse est nombre r�el un millioni�me de Gram(s) mesure de masse est nombre r�el 1 millier Grams(s) processus objet en une partie and objet en une partie processus est une instance de ing�rer objet en une partie est une instance de substance biologique active objet en une partie est une instance de organisme objet en une partie est un patient de processus processus est un agent de objet en une partie weight objet en une partie and mesure de masse weight objet en une partie and mesure de masse
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6476-6480	Unit� de mesure est une instance de unit� de mesure unit� de mesure est millier unit� de mesures 1 unit� de mesure(s) est unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31710-31721	roomTempState substance and �tat physique physique est une instance de substance roomTempState substance and Liquid pendant position temporel la mesure de physique est 101 1 millier Pascals(s) la mesure de physique est 68 FahrenheitDegree(s) pendant position temporel

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 6504-6508	Unit� de mesure est une instance de unit� de mesure unit� de mesure est billion unit� de mesures 1 unit� de mesure(s) est millier unit� de mesures(s)
No TPTP formula. May not be expressible in strict first order.	Merge.kif 6518-6522	Unit� de mesure est une instance de unit� de mesure unit� de mesure est trillion unit� de mesures 1 unit� de mesure(s) est millier unit� de mesures(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4697-4703	AntarcticCircumpolarCurrent a pour origine objet AntarcticCircumpolarCurrent aboutit � physique la distance entre objet et physique est 21000.0 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3869-3875	Quantit� physique est nombre r�el NauticalMile(s) quantit� physique est nombre r�el + 1.852 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3894-3901	Nombre r�el est nombre r�el nombre r�el NauticalMile(s) est nombre r�el + 1.852 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	Food.kif 799-834	Position temporel est une instance de EspressoMaking entit� entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit�, entit� and entit� entit� est une instance de r�chauffer entit� est un patient de entit� la mesure de entit� est entit� Liter(s) approximateValue entit� and 0.03 la mesure de entit� est entit� CelsiusDegree(s) approximateValue entit� and 90 pendant la fin de temps d'existence de entit� entit� est une instance de LiquidMotion entit� est un patient de entit� la mesure de entit� est entit� 1 millier Pascals(s) approximateValue entit� and 900 pendant entit� entit� aboutit � entit� entit� est une instance de collection la mesure de entit� est entit� Gram(s) approximateValue entit� and 7.5 entit� est un membre de entit� entit� est une instance de CoffeeGrind FineGrind est un attribut de entit� entit� est situ� � entit� entit� est une instance de Filter entit� est une instance de supprimer entit� est un instrument pour entit� entit� est un patient de entit� la fin de temps d'existence de entit� est entre la fin de temps d'existence de entit� et la fin de temps d'existence de entit� pendant position temporel

statement

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1439-1439	effectiveDose StaphylococcalEnterotoxinB and PerFn 0.0004 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3973-3973	SquareKilometer est SquareUnitFn 1 millier Meters
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4671-4674	Le longueur de ShorelineFn SouthernOcean and Antarctica est 17968.0 1 millier Meters(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 439-439	lethalDose AbrinToxin and PerFn 0.04 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 310-310	lethalDose Batrachotoxin and PerFn 2.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 325-325	lethalDose BotulinumToxin and PerFn 0.001 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1840-1840	lethalDose Diacetoxyscirpenol and PerFn 23.0 un milli�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 431-431	lethalDose RicinToxin and PerFn 3.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 586-586	lethalDose Sarin and PerFn 100.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1339-1339	lethalDose ShigaToxin and PerFn 0.002 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 582-582	lethalDose Soman and PerFn 64.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1440-1440	lethalDose StaphylococcalEnterotoxinB and PerFn 0.02 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1845-1845	lethalDose T2Toxin and PerFn 5.2 un milli�me de Gram(s) and 1.0 1 millier Grams(s)
No TPTP formula. May not be expressible in strict first order.	WMD.kif 599-599	lethalDose VX and PerFn 15.0 un millioni�me de Gram(s) and 1.0 1 millier Grams(s)

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