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

Formal Language: 



KB Term:  Term intersection
English Word: 

  overlapsTemporally

Sigma KEE - overlapsTemporally
overlapsTemporally

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2717-2719
No TPTP formula. May not be expressible in strict first order. Merge.kif 8134-8136
No TPTP formula. May not be expressible in strict first order. Merge.kif 8131-8131 The number 1 argument of overlaps temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8132-8132 The number 2 argument of overlaps temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8127-8127 overlaps temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8129-8129 overlaps temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8130-8130 overlaps temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8128-8128 overlaps temporally is an instance of temporal relation

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 431-431
No TPTP formula. May not be expressible in strict first order. english_format.kif 437-437
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 432-432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43765-43765
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43764-43764
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43763-43763

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4856-4874
No TPTP formula. May not be expressible in strict first order. Geography.kif 4925-4935
No TPTP formula. May not be expressible in strict first order. Merge.kif 8138-8144
No TPTP formula. May not be expressible in strict first order. Merge.kif 8192-8198

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 926-932 An integer is a year of founding of an organization if and only if there exists a time interval such that the year the integer overlaps the time interval and the time interval is an instance of founding and the organization is a result of the time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5907-5920
No TPTP formula. May not be expressible in strict first order. Merge.kif 13594-13607
No TPTP formula. May not be expressible in strict first order. Merge.kif 17930-17936
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21804-21812
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 439-452
No TPTP formula. May not be expressible in strict first order. Merge.kif 10196-10204
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. Merge.kif 8146-8151
No TPTP formula. May not be expressible in strict first order. Merge.kif 8200-8205
No TPTP formula. May not be expressible in strict first order. emotion.kif 1472-1481
No TPTP formula. May not be expressible in strict first order. emotion.kif 1458-1467
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5461-5480
No TPTP formula. May not be expressible in strict first order. Merge.kif 8153-8158
No TPTP formula. May not be expressible in strict first order. Merge.kif 13616-13631
No TPTP formula. May not be expressible in strict first order. Merge.kif 13633-13646
No TPTP formula. May not be expressible in strict first order. Merge.kif 8171-8181
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19749-19759
No TPTP formula. May not be expressible in strict first order. Geography.kif 2283-2293
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20380-20389
No TPTP formula. May not be expressible in strict first order. Government.kif 2543-2548
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 942-947
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 955-963
No TPTP formula. May not be expressible in strict first order. Economy.kif 2370-2378
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30027-30034

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 7560-7560 Before common era doesn't overlap common era


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