attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13868-13878
No TPTP formula. May not be expressible in strict first order. Merge.kif 17507-17520
No TPTP formula. May not be expressible in strict first order. Merge.kif 17871-17880
No TPTP formula. May not be expressible in strict first order. Military.kif 363-374
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21014-21024
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4521-4538
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27585-27594
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28493-28501
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1946-1957
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1463-1468
No TPTP formula. May not be expressible in strict first order. Merge.kif 13994-14007
No TPTP formula. May not be expressible in strict first order. Medicine.kif 355-373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22351-22360
No TPTP formula. May not be expressible in strict first order. Merge.kif 1790-1798
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2858-2862
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1492-1504
No TPTP formula. May not be expressible in strict first order. Law.kif 486-495
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 101-111
No TPTP formula. May not be expressible in strict first order. Media.kif 1902-1906
No TPTP formula. May not be expressible in strict first order. Media.kif 1890-1894
No TPTP formula. May not be expressible in strict first order. Media.kif 1914-1918
No TPTP formula. May not be expressible in strict first order. Media.kif 1908-1912
No TPTP formula. May not be expressible in strict first order. Media.kif 1896-1900
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3547-3552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23112-23123

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