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

Formal Language: 



KB Term:  Term intersection
English Word: 

  approximateValue

Sigma KEE - approximateValue
approximateValue

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29838-29839
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29835-29835 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 29836-29836 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 29834-29834 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 29837-29837
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65779-65779

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29841-29845
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29847-29853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29855-29861

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