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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - allowableValue
allowableValue

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31398-31402
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31395-31395 Le nombre 1 argument de allowableValue est une instance de objet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31396-31396 Le nombre 2 argument de allowableValue est une instance de MeasurementAttribute
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31397-31397 Le nombre 3 argument de allowableValue est une instance de quantit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31394-31394 allowableValue est une instance de pr�dicat ternaire

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31404-31405
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65777-65777


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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