Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  KiloFn

 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 6471-6473
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 6468-6468 O argumento numero 1 de KiloFn e' uma instancia de Unidade de Medida
No TPTP formula. May not be expressible in strict first order. Merge.kif 6467-6467 KiloFn e' uma instancia de UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6469-6469 O contra-dominio de KiloFn e' uma instancia de Unidade de Medida

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
No TPTP formula. May not be expressible in strict first order. Merge.kif 6475-6479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31678-31689

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6503-6507
No TPTP formula. May not be expressible in strict first order. Merge.kif 6517-6521
No TPTP formula. May not be expressible in strict first order. Geography.kif 4697-4703
No TPTP formula. May not be expressible in strict first order. Geography.kif 3869-3875
No TPTP formula. May not be expressible in strict first order. Geography.kif 3894-3901
No TPTP formula. May not be expressible in strict first order. Food.kif 799-834

statement
-------------------------


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. Geography.kif 3973-3973 SquareKilometer e' igual a SquareUnitFn 1 mil Meters
No TPTP formula. May not be expressible in strict first order. Geography.kif 4671-4674 O comprimento de ShorelineFn SouthernOcean and Antarctica e' 17968.0 1 mil Meters(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