located

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20600-20622
No TPTP formula. May not be expressible in strict first order. Military.kif 772-778
No TPTP formula. May not be expressible in strict first order. Hotel.kif 522-538
No TPTP formula. May not be expressible in strict first order. Government.kif 4648-4657
No TPTP formula. May not be expressible in strict first order. Government.kif 4658-4667
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1127-1140
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1522-1535
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6356-6363
No TPTP formula. May not be expressible in strict first order. Hotel.kif 294-313
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 26-47
No TPTP formula. May not be expressible in strict first order. Geography.kif 874-880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24018-24027
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11753-11768
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6055-6074
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6121-6139
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2309-2328
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 755-770
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5042-5050
No TPTP formula. May not be expressible in strict first order. Merge.kif 11995-12004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9985-9993
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 510-516
No TPTP formula. May not be expressible in strict first order. Cars.kif 1949-1971
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 2421-2430
No TPTP formula. May not be expressible in strict first order. Economy.kif 2412-2419

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