Translocation(translocation)

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 854-856
No TPTP formula. May not be expressible in strict first order. Medicine.kif 6281-6288
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2087-2094
No TPTP formula. May not be expressible in strict first order. Merge.kif 14289-14297
No TPTP formula. May not be expressible in strict first order. Merge.kif 14276-14282
No TPTP formula. May not be expressible in strict first order. Weather.kif 523-530
No TPTP formula. May not be expressible in strict first order. Cars.kif 3675-3704


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