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

Formal Language: 



KB Term:  Term intersection
English Word: 

  defaultMaximumMeasure

Sigma KEE - defaultMaximumMeasure
defaultMaximumMeasure

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11129-11129
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11128-11128 The number 2 argument of default maximum measure is an instance of quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11127-11127 The number 1 argument of default maximum measure is a subclass of object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11126-11126 default maximum 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 805-805
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11130-11130 "default maximum measure" is the printable form of default maximum measure in english language

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11131-11140
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11141-11152

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28605-28605 The maximum expected value of lemur is 20 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28507-28507 The maximum expected value of lion is 600 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28585-28585 The maximum expected value of parrot is 9 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28572-28572 The maximum expected value of rhinoceros is 2200 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners