Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  meetsSpatially

Sigma KEE - meetsSpatially
meetsSpatially

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 9467-9467 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2828-2829
No TPTP formula. May not be expressible in strict first order. Merge.kif 9469-9471
No TPTP formula. May not be expressible in strict first order. Merge.kif 9461-9461 The number 1 argument of meets spatially is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9462-9462 The number 2 argument of meets spatially is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 9466-9466 meets spatially is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 9464-9464 meets spatially is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9465-9465 meets spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9463-9463 meets spatially is internally related to connected

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 365-365
No TPTP formula. May not be expressible in strict first order. english_format.kif 368-368
No TPTP formula. May not be expressible in strict first order. Merge.kif 11327-11327 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 366-366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36906-36906
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36905-36905
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36904-36904

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5907-5920
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1619-1630
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1632-1644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4738-4747
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. Geography.kif 5144-5149
No TPTP formula. May not be expressible in strict first order. Geography.kif 5137-5142
No TPTP formula. May not be expressible in strict first order. Merge.kif 13954-13960
No TPTP formula. May not be expressible in strict first order. Geography.kif 1082-1089
No TPTP formula. May not be expressible in strict first order. Merge.kif 17637-17662
No TPTP formula. May not be expressible in strict first order. Geography.kif 731-733
No TPTP formula. May not be expressible in strict first order. Transportation.kif 864-866
No TPTP formula. May not be expressible in strict first order. Geography.kif 6060-6062

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29140-29144
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21475-21482
No TPTP formula. May not be expressible in strict first order. Cars.kif 1741-1761
No TPTP formula. May not be expressible in strict first order. Geography.kif 6830-6850
No TPTP formula. May not be expressible in strict first order. Merge.kif 9846-9854
No TPTP formula. May not be expressible in strict first order. Cars.kif 4290-4302
No TPTP formula. May not be expressible in strict first order. Geography.kif 5720-5734
No TPTP formula. May not be expressible in strict first order. Cars.kif 902-915
No TPTP formula. May not be expressible in strict first order. Geography.kif 7213-7225
No TPTP formula. May not be expressible in strict first order. Geography.kif 3938-3946
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17535-17569
No TPTP formula. May not be expressible in strict first order. Geography.kif 6049-6058
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Weather.kif 787-794
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1246-1250
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1237-1244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4794-4802
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4842-4850
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4857-4865
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4872-4880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4906-4914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2737-2748
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2756-2767
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4551-4560
No TPTP formula. May not be expressible in strict first order. Merge.kif 9407-9411

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 866-866 Alabama meets mississippi
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 882-882 Alaska meets arctic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 880-880 Alaska meets canada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 881-881 Alaska meets pacific ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 885-885 Arizona meets california
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 886-886 Arizona meets mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 884-884 Arizona meets Nevada
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 892-892 Arkansas meets louisiana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 890-890 Arkansas meets Oklahoma
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 891-891 Arkansas meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 136-136 Bassas da india meets indian ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 138-138 Bouvet island meets south atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 904-904 California meets mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 905-905 California meets new mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 906-906 California meets Oregon
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 903-903 California meets pacific ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 907-907 California meets washington
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 410-410 Canada meets united states
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 910-910 Colorado meets Arizona
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 911-911 Colorado meets new mexico
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 912-912 Colorado meets texas
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 909-909 Colorado meets utah
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 920-920 Delaware meets maryland
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 919-919 Delaware meets north atlantic ocean
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 921-921 Delaware meets pennsylvania

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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