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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMeasure

 Sigma KEE - defaultMeasure
defaultMeasure

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13563-13563
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13562-13562 Le nombre 2 argument de defaultMeasure est une instance de quantit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13561 Le nombre 1 argument de defaultMeasure est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13560-13560 defaultMeasure est une instance de pr�dicat binaire

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3194-3194
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3193-3193
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3192-3192
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13564-13564

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20273-20273 defaultMeasure Alligator and 790.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20286-20286 defaultMeasure Badger and 20.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20301-20301 defaultMeasure Bear and 500.0 PoundMass(s)
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. Mid-level-ontology.kif 30566-30566 defaultMeasure Cheetah and 150.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30542-30542 defaultMeasure Crocodile and 2000.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30583-30583 defaultMeasure Ferret and 2.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30601-30601 defaultMeasure GuineaPig and 2.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20315-20315 defaultMeasure Kangaroo and 18.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20323-20323 defaultMeasure Llama and 18.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30502-30502 defaultMeasure Octopus and 33.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30488-30488 defaultMeasure Panda and 240.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30524-30524 defaultMeasure Reindeer and 300.0 PoundMass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20332-20332 defaultMeasure Skunk and 5.0 PoundMass(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