destination

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18049-18053
No TPTP formula. May not be expressible in strict first order. Cars.kif 1717-1733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1807-1811
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2511
No TPTP formula. May not be expressible in strict first order. Economy.kif 2447-2454
No TPTP formula. May not be expressible in strict first order. Economy.kif 2468-2476
No TPTP formula. May not be expressible in strict first order. Economy.kif 2478-2486
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11582-11586
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7231-7240
No TPTP formula. May not be expressible in strict first order. Geography.kif 5561-5570
No TPTP formula. May not be expressible in strict first order. Cars.kif 1070-1090
No TPTP formula. May not be expressible in strict first order. Merge.kif 11673-11685
No TPTP formula. May not be expressible in strict first order. TransnationalIssues.kif 88-99
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3628-3644
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3593-3601
No TPTP formula. May not be expressible in strict first order. Merge.kif 11424-11431
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1332-1355
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1378-1382
No TPTP formula. May not be expressible in strict first order. Merge.kif 11744-11755
No TPTP formula. May not be expressible in strict first order. Merge.kif 11052-11057
No TPTP formula. May not be expressible in strict first order. emotion.kif 1385-1391
No TPTP formula. May not be expressible in strict first order. emotion.kif 1419-1425
No TPTP formula. May not be expressible in strict first order. Dining.kif 437-441
No TPTP formula. May not be expressible in strict first order. Dining.kif 610-627

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