meetsSpatially

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5149-5157
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5183-5191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2782-2795
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2803-2816
No TPTP formula. May not be expressible in strict first order. Merge.kif 9531-9535
No TPTP formula. May not be expressible in strict first order. Merge.kif 10108-10115
No TPTP formula. May not be expressible in strict first order. Merge.kif 10098-10106
No TPTP formula. May not be expressible in strict first order. Geography.kif 695-697
No TPTP formula. May not be expressible in strict first order. Weather.kif 22-27
No TPTP formula. May not be expressible in strict first order. Geography.kif 4508-4510
No TPTP formula. May not be expressible in strict first order. Geography.kif 952-957
No TPTP formula. May not be expressible in strict first order. Geography.kif 942-950
No TPTP formula. May not be expressible in strict first order. Geography.kif 934-940
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15384-15391
No TPTP formula. May not be expressible in strict first order. Merge.kif 14196-14201
No TPTP formula. May not be expressible in strict first order. Geography.kif 5782-5787
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3698-3704
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1545-1553
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8968-8973
No TPTP formula. May not be expressible in strict first order. Weather.kif 2778-2788
No TPTP formula. May not be expressible in strict first order. Cars.kif 2849-2878
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18476-18487
No TPTP formula. May not be expressible in strict first order. Weather.kif 2510-2520
No TPTP formula. May not be expressible in strict first order. Merge.kif 14216-14228
No TPTP formula. May not be expressible in strict first order. Merge.kif 14238-14243

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