ImmediateFutureFn

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 104-111
No TPTP formula. May not be expressible in strict first order. Geography.kif 5711-5718
No TPTP formula. May not be expressible in strict first order. Merge.kif 10620-10629
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2835-2842
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1428-1443
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1334-1343
No TPTP formula. May not be expressible in strict first order. Medicine.kif 466-482
No TPTP formula. May not be expressible in strict first order. Biography.kif 69-85
No TPTP formula. May not be expressible in strict first order. Biography.kif 99-115
No TPTP formula. May not be expressible in strict first order. emotion.kif 1393-1411
No TPTP formula. May not be expressible in strict first order. emotion.kif 1427-1445
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21432-21443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17638-17656
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17616-17634
No TPTP formula. May not be expressible in strict first order. Weather.kif 1091-1096
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-424
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5779-5798
No TPTP formula. May not be expressible in strict first order. Geography.kif 6779-6792
No TPTP formula. May not be expressible in strict first order. WMD.kif 1071-1081
No TPTP formula. May not be expressible in strict first order. Medicine.kif 853-875
No TPTP formula. May not be expressible in strict first order. Geography.kif 2689-2702
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 466-481
No TPTP formula. May not be expressible in strict first order. Media.kif 768-788
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 228-235
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2229-2239

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