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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - approximateValue
approximateValue

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29862-29863
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29859-29859 The number 1 argument of approximate value is an instance of real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29860-29860 The number 2 argument of approximate value is an instance of real number
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29858-29858 approximate value is an instance of binary predicate

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29861-29861
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65781-65781

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29865-29869
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29871-29877
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29879-29885

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Medicine.kif 234-249
No TPTP formula. May not be expressible in strict first order. Food.kif 1321-1332
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5775-5782
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5766-5773
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5752-5759
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5743-5750
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5850-5855
No TPTP formula. May not be expressible in strict first order. Food.kif 547-552
No TPTP formula. May not be expressible in strict first order. Food.kif 509-514
No TPTP formula. May not be expressible in strict first order. Food.kif 559-564
No TPTP formula. May not be expressible in strict first order. Food.kif 609-614
No TPTP formula. May not be expressible in strict first order. Food.kif 585-590
No TPTP formula. May not be expressible in strict first order. Food.kif 621-626
No TPTP formula. May not be expressible in strict first order. Food.kif 521-526
No TPTP formula. May not be expressible in strict first order. Food.kif 597-602
No TPTP formula. May not be expressible in strict first order. Food.kif 1285-1301
No TPTP formula. May not be expressible in strict first order. Food.kif 3226-3247
No TPTP formula. May not be expressible in strict first order. Food.kif 1367-1385
No TPTP formula. May not be expressible in strict first order. Food.kif 1399-1415
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1576-1583
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1567-1574
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1526-1533
No TPTP formula. May not be expressible in strict first order. Anatomy.kif 1517-1524
No TPTP formula. May not be expressible in strict first order. Food.kif 1207-1216
No TPTP formula. May not be expressible in strict first order. Medicine.kif 519-530

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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