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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Navy-BranchOfService
  Gram

Sigma KEE - Gram
Gram

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 6704-6705
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 6702-6702 Gram e' uma instancia de Sistema International de Unidades
No TPTP formula. May not be expressible in strict first order. Merge.kif 6701-6701 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
No TPTP formula. May not be expressible in strict first order. Medicine.kif 155-170
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. Geography.kif 2873-2884
No TPTP formula. May not be expressible in strict first order. Economy.kif 4645-4658
No TPTP formula. May not be expressible in strict first order. Economy.kif 4669-4682
No TPTP formula. May not be expressible in strict first order. Food.kif 3124-3136
No TPTP formula. May not be expressible in strict first order. Food.kif 2463-2478
No TPTP formula. May not be expressible in strict first order. Geography.kif 2855-2866
No TPTP formula. May not be expressible in strict first order. Geography.kif 2836-2845
No TPTP formula. May not be expressible in strict first order. Medicine.kif 206-221
No TPTP formula. May not be expressible in strict first order. Medicine.kif 189-204

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


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. 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 7152-7154 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 7280-7283 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 7297-7299 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 7305-7307 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