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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - meetsSpatially
meetsSpatially

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13254-13254 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 13260-13261
No TPTP formula. May not be expressible in strict first order. Merge.kif 13256-13258
No TPTP formula. May not be expressible in strict first order. Merge.kif 13263-13265
No TPTP formula. May not be expressible in strict first order. Merge.kif 13249-13249 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 13250-13250 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 13252-13252 meets spatially is an instance of irreflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13253-13253 meets spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 13251-13251 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 514-514
No TPTP formula. May not be expressible in strict first order. english_format.kif 515-515
No TPTP formula. May not be expressible in strict first order. Merge.kif 15670-15670 grasps is a subrelation of meets spatially
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 366-366 "接触" is the printable form of meets spatially in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36841-36841 "空间的符合" is the printable form of meets spatially in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36840-36840 "空間的符合" is the printable form of meets spatially in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 36839-36839 "meets spatially" is the printable form of meets spatially in english language

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1618-1629
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1631-1643
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5319-5328
No TPTP formula. May not be expressible in strict first order. Geography.kif 4910-4915
No TPTP formula. May not be expressible in strict first order. Geography.kif 4903-4908
No TPTP formula. May not be expressible in strict first order. Merge.kif 18605-18611
No TPTP formula. May not be expressible in strict first order. Geography.kif 1061-1068
No TPTP formula. May not be expressible in strict first order. Geography.kif 716-718
No TPTP formula. May not be expressible in strict first order. Transportation.kif 838-840
No TPTP formula. May not be expressible in strict first order. Geography.kif 5744-5746

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27930-27934
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19803-19810
No TPTP formula. May not be expressible in strict first order. Cars.kif 1736-1756
No TPTP formula. May not be expressible in strict first order. Geography.kif 6464-6484
No TPTP formula. May not be expressible in strict first order. Merge.kif 13722-13730
No TPTP formula. May not be expressible in strict first order. Cars.kif 4251-4263
No TPTP formula. May not be expressible in strict first order. Geography.kif 5484-5498
No TPTP formula. May not be expressible in strict first order. Cars.kif 892-905
No TPTP formula. May not be expressible in strict first order. Geography.kif 3795-3803
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15844-15878
No TPTP formula. May not be expressible in strict first order. Geography.kif 5733-5742
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1679-1683
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1670-1677
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5371-5379
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5411-5419
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5425-5433
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5439-5447
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5471-5479
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3252-3263
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3276-3287
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5139-5148
No TPTP formula. May not be expressible in strict first order. Merge.kif 13199-13203
No TPTP formula. May not be expressible in strict first order. Merge.kif 13935-13944
No TPTP formula. May not be expressible in strict first order. Geography.kif 687-689
No TPTP formula. May not be expressible in strict first order. Weather.kif 22-27

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners