desires

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


No TPTP formula. May not be expressible in strict first order. Hotel.kif 1890-1900
No TPTP formula. May not be expressible in strict first order. Law.kif 318-328
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30956-30971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30898-30908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30973-30987
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30912-30921
No TPTP formula. May not be expressible in strict first order. Merge.kif 2777-2782
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1257-1271
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 690-700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19828-19837
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19791-19797
No TPTP formula. May not be expressible in strict first order. emotion.kif 766-775
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19804-19810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19816-19822
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22543-22551
No TPTP formula. May not be expressible in strict first order. Law.kif 464-471
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7432-7434
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7376-7384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18408-18415
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7393-7396
No TPTP formula. May not be expressible in strict first order. emotion.kif 1865-1877
No TPTP formula. May not be expressible in strict first order. emotion.kif 1902-1914
No TPTP formula. May not be expressible in strict first order. Medicine.kif 2095-2103
No TPTP formula. May not be expressible in strict first order. Medicine.kif 5110-5125
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16434-16440

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