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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MajorGeneral

 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 重叠 是 自反关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4035-4035 重叠 是 对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4033-4033 重叠 是 相连 的 subrelation

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9574-9574 接触 和 重叠 是 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 非洲 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3524-3524 非洲 和 南半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3540-3540 南极洲 和 东半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3541-3541 南极洲 和 西半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3584-3584 北冰洋 和 北极地区 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3582-3582 北极地区 和 东半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3583-3583 北极地区 和 西半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3550-3550 亚洲 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3551-3551 亚洲 和 南半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 加勒比地区 和 北美 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 加勒比地区 和 南美洲 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 187-187 中非 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 中非 和 南半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 东非 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 东非 和 南半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 242-242 东南美洲 和 北半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 243-243 东南美洲 和 南半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3545-3545 欧洲 和 东半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 3546-3546 欧洲 和 西半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 中美洲 和 北美 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 中美洲 和 南美洲 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 中东地区 和 亚洲 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 北非 和 东半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 北非 和 西半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 246-246 北美洲南部 和 北半球 重叠

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