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 4057-4059
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 4050-4050 The number 1 argument of overlap spatially is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4051-4051 The number 2 argument of overlap spatially is an instance of object
No TPTP formula. May not be expressible in strict first order. Merge.kif 4053-4053 overlap spatially is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4054-4054 overlap spatially is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 4049-4049 overlap spatially is a subrelation of connected

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 9710-9710 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 367-367 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. Merge.kif 4055-4055 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. french_format.kif 212-212 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-it.txt 207-207 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 164-164 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 219-219 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-de.txt 489-489 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 245-245 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 232-232 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 229-229 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 396-396 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43784-43784 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 368-368 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43783-43783 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43782-43782 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. terms-de.txt 152-152 meets spatially and overlap spatially are disjoint
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 397-397 meets spatially and overlap spatially are disjoint

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10049-10054
No TPTP formula. May not be expressible in strict first order. Geography.kif 3654-3659
No TPTP formula. May not be expressible in strict first order. Merge.kif 9716-9721

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10172-10177
No TPTP formula. May not be expressible in strict first order. Merge.kif 10041-10047
No TPTP formula. May not be expressible in strict first order. Merge.kif 10049-10054
No TPTP formula. May not be expressible in strict first order. Weather.kif 3216-3229
No TPTP formula. May not be expressible in strict first order. Weather.kif 3195-3206
No TPTP formula. May not be expressible in strict first order. Weather.kif 1991-2012
No TPTP formula. May not be expressible in strict first order. Merge.kif 4074-4078
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 537-563
No TPTP formula. May not be expressible in strict first order. Merge.kif 9737-9743
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14141-14146
No TPTP formula. May not be expressible in strict first order. Geography.kif 1239-1246
No TPTP formula. May not be expressible in strict first order. Merge.kif 9729-9735
No TPTP formula. May not be expressible in strict first order. Merge.kif 9723-9727
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1488-1495
No TPTP formula. May not be expressible in strict first order. Cars.kif 3177-3194
No TPTP formula. May not be expressible in strict first order. Merge.kif 9645-9649
No TPTP formula. May not be expressible in strict first order. Merge.kif 915-920
No TPTP formula. May not be expressible in strict first order. Merge.kif 908-913
No TPTP formula. May not be expressible in strict first order. Merge.kif 10226-10233
No TPTP formula. May not be expressible in strict first order. Merge.kif 10216-10224
No TPTP formula. May not be expressible in strict first order. Merge.kif 10018-10021
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10945-10952
No TPTP formula. May not be expressible in strict first order. Geography.kif 6399-6405
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12322-12329
No TPTP formula. May not be expressible in strict first order. Geography.kif 5493-5498

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 3681-3681 Africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3682-3682 Africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3698-3698 Antarctica and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3699-3699 Antarctica and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3742-3742 Arctic ocean and arctic region overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3740-3740 Arctic region and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3741-3741 Arctic region and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3708-3708 Asia and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3709-3709 Asia and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 167-167 Caribbean region and north america overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 166-166 Caribbean region and south america overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 187-187 Central africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 188-188 Central africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 191-191 Eastern africa and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 192-192 Eastern africa and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 242-242 Eastern south america and northern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 243-243 Eastern south america and southern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3703-3703 Europe and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 3704-3704 Europe and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 Middle america and north america overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 Middle america and south america overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 146-146 Middle east region and asia overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 Northern africa and eastern hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 Northern africa and western hemisphere overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 246-246 Northern south america and northern hemisphere 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