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 12999-12999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12998-12998 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 12997-12997 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 12996-12996 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 3187-3187
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3186-3186
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3185-3185
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13000-13000

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13002-13011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13013-13024

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29847-29847 The maximum expected value of lemur is 20.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29749-29749 The maximum expected value of lion is 600.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29827-29827 The maximum expected value of parrot is 9.0 pound mass(s)
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29814-29814 The maximum expected value of rhinoceros is 2200.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