attribute

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12537-12547
No TPTP formula. May not be expressible in strict first order. Merge.kif 17332-17345
No TPTP formula. May not be expressible in strict first order. Merge.kif 17688-17697
No TPTP formula. May not be expressible in strict first order. Military.kif 286-297
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19443-19453
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4078-4095
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25687-25696
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26594-26602
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1935-1946
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1452-1457
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Medicine.kif 367-385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20734-20743
No TPTP formula. May not be expressible in strict first order. Merge.kif 1780-1788
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2847-2851
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1500-1512
No TPTP formula. May not be expressible in strict first order. Law.kif 480-489
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 1900-1904
No TPTP formula. May not be expressible in strict first order. Media.kif 1888-1892
No TPTP formula. May not be expressible in strict first order. Media.kif 1912-1916
No TPTP formula. May not be expressible in strict first order. Media.kif 1906-1910
No TPTP formula. May not be expressible in strict first order. Media.kif 1894-1898
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3529-3534
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21495-21506

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