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 6383-6385
No TPTP formula. May not be expressible in strict first order. Merge.kif 6380-6380 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 6379-6379 Kilo is an instance of UnitOfMeasureMultiplier
No TPTP formula. May not be expressible in strict first order. Merge.kif 6381-6381 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. domainEnglishFormat.kif 32532-32532
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 32531-32531
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32530-32530

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 6387-6391

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 6415-6419
No TPTP formula. May not be expressible in strict first order. Merge.kif 6429-6433
No TPTP formula. May not be expressible in strict first order. Geography.kif 4596-4602
No TPTP formula. May not be expressible in strict first order. Geography.kif 3791-3797
No TPTP formula. May not be expressible in strict first order. Geography.kif 3816-3823

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1430-1430 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 3895-3895 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 4570-4573 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 1831-1831 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 1330-1330 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 1431-1431 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 1836-1836 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