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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overlapsSpatially
overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2830-2831
No TPTP formula. May not be expressible in strict first order. Merge.kif 9484-9486
No TPTP formula. May not be expressible in strict first order. Merge.kif 9480-9480 overlaps spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9481-9481 overlaps spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 9479-9479 overlaps spatially is a subrelation of connected

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9473-9473 meets spatially and overlaps spatially are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 367-367
No TPTP formula. May not be expressible in strict first order. Merge.kif 9482-9482
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43759-43759
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 368-368
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43758-43758
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43757-43757

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9824-9829
No TPTP formula. May not be expressible in strict first order. Geography.kif 3418-3423
No TPTP formula. May not be expressible in strict first order. Merge.kif 9488-9493

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9954-9959
No TPTP formula. May not be expressible in strict first order. Merge.kif 9816-9822
No TPTP formula. May not be expressible in strict first order. Merge.kif 9824-9829
No TPTP formula. May not be expressible in strict first order. Weather.kif 2491-2504
No TPTP formula. May not be expressible in strict first order. Weather.kif 2470-2481
No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. Merge.kif 3971-3975
No TPTP formula. May not be expressible in strict first order. Merge.kif 9509-9515
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12275-12280
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 9501-9507
No TPTP formula. May not be expressible in strict first order. Merge.kif 9495-9499
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1232-1239
No TPTP formula. May not be expressible in strict first order. Cars.kif 3117-3133
No TPTP formula. May not be expressible in strict first order. Merge.kif 9413-9417
No TPTP formula. May not be expressible in strict first order. Merge.kif 9998-10007
No TPTP formula. May not be expressible in strict first order. Merge.kif 9793-9796
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9216-9223
No TPTP formula. May not be expressible in strict first order. Geography.kif 5993-5999
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10498-10505
No TPTP formula. May not be expressible in strict first order. Geography.kif 5100-5105
No TPTP formula. May not be expressible in strict first order. Geography.kif 4068-4074
No TPTP formula. May not be expressible in strict first order. Merge.kif 9607-9613
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. Merge.kif 9551-9553

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. Geography.kif 3445-3445 Africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3446-3446 Africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3462-3462 Antarctica and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3463-3463 Antarctica and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3506-3506 Arctic ocean and arctic region is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3504 Arctic region and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3505-3505 Arctic region and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3472-3472 Asia and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3473-3473 Asia and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 Caribbean region and north america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 Caribbean region and south america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 187-187 Central africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 Central africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 Eastern africa and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 Eastern africa and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 242-242 Eastern south america and northern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 243-243 Eastern south america and southern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3467-3467 Europe and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3468-3468 Europe and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 Middle america and north america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 Middle america and south america is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 Middle east region and asia is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 Northern africa and eastern hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 Northern africa and western hemisphere is overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 246-246 Northern south america and northern hemisphere is overlapsSpatially

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 3.0 is open source software produced by Articulate Software and its partners