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 13029-13029
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13028-13028 The number 2 argument of default measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13027-13027 The number 1 argument of default measure is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13026-13026 default measure is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3199-3199
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3198-3198
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3197-3197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13030-13030

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13032-13041
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13043-13052

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19580-19580 The expected value of Alligator is 790.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19593-19593 The expected value of Badger is 20.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19608-19608 The expected value of Bear is 500.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29944-29944 The expected value of cheetah is 150.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29920-29920 The expected value of crocodile is 2000.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29961-29961 The expected value of ferret is 2.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29979-29979 The expected value of guinea pig is 2.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19622-19622 The expected value of Kangaroo is 18.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19630-19630 The expected value of Llama is 18.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29880-29880 The expected value of octopus is 33.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29866-29866 The expected value of panda is 240.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29902-29902 The expected value of reindeer is 300.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19639-19639 The expected value of Skunk is 5.0 pound mass(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