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

Formal Language: 



KB Term:  Term intersection
English Word: 

  overlapsSpatially

 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 4038-4040
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1573-1575
No TPTP formula. May not be expressible in strict first order. Merge.kif 4034-4034 overlapsSpatially est une instance de relation r�flexive
No TPTP formula. May not be expressible in strict first order. Merge.kif 4035-4035 overlapsSpatially est une instance de relation sym�trique
No TPTP formula. May not be expressible in strict first order. Merge.kif 4033-4033 overlapsSpatially est une sous-relation de connected

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9574-9574 meetsSpatially et overlapsSpatially sont 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 4036-4036
No TPTP formula. May not be expressible in strict first order. french_format.kif 212-212
No TPTP formula. May not be expressible in strict first order. relations-it.txt 207-207
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 164-164
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 219-219
No TPTP formula. May not be expressible in strict first order. relations-de.txt 489-489
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 245-245
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 232-232
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 229-229
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 396-396
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43782-43782
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 43781-43781
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43780-43780
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 397-397

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9911-9916
No TPTP formula. May not be expressible in strict first order. Geography.kif 3496-3501
No TPTP formula. May not be expressible in strict first order. Merge.kif 9580-9585

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10032-10037
No TPTP formula. May not be expressible in strict first order. Merge.kif 9903-9909
No TPTP formula. May not be expressible in strict first order. Merge.kif 9911-9916
No TPTP formula. May not be expressible in strict first order. Weather.kif 2492-2505
No TPTP formula. May not be expressible in strict first order. Weather.kif 2471-2482
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
No TPTP formula. May not be expressible in strict first order. Merge.kif 4055-4059
No TPTP formula. May not be expressible in strict first order. Merge.kif 9601-9607
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12810-12815
No TPTP formula. May not be expressible in strict first order. Geography.kif 1075-1082
No TPTP formula. May not be expressible in strict first order. Merge.kif 9593-9599
No TPTP formula. May not be expressible in strict first order. Merge.kif 9587-9591
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1271-1278
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 9509-9513
No TPTP formula. May not be expressible in strict first order. Merge.kif 10086-10093
No TPTP formula. May not be expressible in strict first order. Merge.kif 10076-10084
No TPTP formula. May not be expressible in strict first order. Merge.kif 9880-9883
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 9616-9623
No TPTP formula. May not be expressible in strict first order. Geography.kif 6096-6102
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10991-10998
No TPTP formula. May not be expressible in strict first order. Geography.kif 5202-5207
No TPTP formula. May not be expressible in strict first order. Geography.kif 4146-4152
No TPTP formula. May not be expressible in strict first order. Merge.kif 9699-9705
No TPTP formula. May not be expressible in strict first order. Geography.kif 724-726

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 3523-3523 Africa recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3524-3524 Africa recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3540-3540 Antarctica recouvre EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3541-3541 Antarctica recouvre WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3584-3584 ArcticOcean recouvre ArcticRegion
No TPTP formula. May not be expressible in strict first order. Geography.kif 3582-3582 ArcticRegion recouvre EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3583-3583 ArcticRegion recouvre WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3550-3550 Asia recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3551-3551 Asia recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 CaribbeanRegion recouvre NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 CaribbeanRegion recouvre SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 187-187 CentralAfrica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 CentralAfrica recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 EasternAfrica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 EasternAfrica recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 242-242 EasternSouthAmerica recouvre NorthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 243-243 EasternSouthAmerica recouvre SouthernHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3545-3545 Europe recouvre EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 3546-3546 Europe recouvre WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 MiddleAmerica recouvre NorthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 MiddleAmerica recouvre SouthAmerica
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 MiddleEastRegion recouvre Asia
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 NorthernAfrica recouvre EasternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 NorthernAfrica recouvre WesternHemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 246-246 NorthernSouthAmerica recouvre NorthernHemisphere

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