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 13560-13560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13559-13559 defaultMaximumMeasure 的 2 数量 是 数量 的 instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13558-13558 defaultMaximumMeasure 的 1 数量 是 客体 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13557-13557 defaultMaximumMeasure 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3182-3182
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3181-3181
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3180-3180
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13561-13561

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13563-13572
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13574-13585

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30493-30493 Lemur 的 maximum 预期价值是 20.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30395-30395 Lion 的 maximum 预期价值是 600.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30473-30473 Parrot 的 maximum 预期价值是 9.0 磅质量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30460-30460 Rhinoceros 的 maximum 预期价值是 2200.0 磅质量


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