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 13532-13532
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13531-13531 域 defaultMaximumMeasure, 2 and Quantity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13530-13530 域子類 defaultMaximumMeasure, 1 and Object
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13529-13529 例 defaultMaximumMeasure and BinaryPredicate

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 13533-13533

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13535-13544
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13546-13557

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30457-30457 Lemur 的 maximum 預期價值是 測量 20.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30359-30359 Lion 的 maximum 預期價值是 測量 600.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30437-30437 Parrot 的 maximum 預期價值是 測量 9.0 and 磅質量
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30424-30424 Rhinoceros 的 maximum 預期價值是 測量 2200.0 and 磅質量


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