MeasureFn

-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 783-788
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13536-13545
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13547-13558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13486-13497
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13566-13575
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13577-13586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13505-13514
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13516-13527
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13467-13477
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 818-828
No TPTP formula. May not be expressible in strict first order. Geography.kif 1922-1930
No TPTP formula. May not be expressible in strict first order. Weather.kif 1838-1845
No TPTP formula. May not be expressible in strict first order. Weather.kif 2005-2017
No TPTP formula. May not be expressible in strict first order. Hotel.kif 841-862
No TPTP formula. May not be expressible in strict first order. Hotel.kif 546-561
No TPTP formula. May not be expressible in strict first order. Hotel.kif 346-361
No TPTP formula. May not be expressible in strict first order. Hotel.kif 364-378
No TPTP formula. May not be expressible in strict first order. Merge.kif 6165-6176
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5919-5926
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1172-1184
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25722-25737
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3331-3341
No TPTP formula. May not be expressible in strict first order. Food.kif 1063-1073
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17143-17164
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1445-1457

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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