located

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


No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 921-931
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 939-949
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 992-1002
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 896-905
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 907-913
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 866-875
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 877-888
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 719-731
No TPTP formula. May not be expressible in strict first order. Dining.kif 552-561
No TPTP formula. May not be expressible in strict first order. Merge.kif 11973-11982
No TPTP formula. May not be expressible in strict first order. Cars.kif 509-521
No TPTP formula. May not be expressible in strict first order. Cars.kif 463-475
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 2432-2445
No TPTP formula. May not be expressible in strict first order. Economy.kif 2456-2466
No TPTP formula. May not be expressible in strict first order. engineering.kif 939-952
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9061-9065
No TPTP formula. May not be expressible in strict first order. VirusProteinAndCellPart.kif 655-669
No TPTP formula. May not be expressible in strict first order. Weather.kif 753-763
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11368-11385
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11915-11932
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. Mid-level-ontology.kif 5725-5736
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25821-25838
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1332-1355

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