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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 7744-7746
No TPTP formula. May not be expressible in strict first order. Merge.kif 7741-7741 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 7742-7742 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 7737-7737 overlaps temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7739-7739 overlaps temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7740-7740 overlaps temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7738-7738 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 440-440
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 43681-43681
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43680-43680
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43679-43679

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7748-7754 A time interval overlaps another time interval if and only if there exists a time position such that the time position is an instance of time interval and the time position is a part of the other time interval and the time position is a part of the time interval
No TPTP formula. May not be expressible in strict first order. Geography.kif 4644-4657
No TPTP formula. May not be expressible in strict first order. Geography.kif 4708-4715

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1356-1362 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. FinancialOntology.kif 2838-2854
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1945-1963
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1965-1983
No TPTP formula. May not be expressible in strict first order. Merge.kif 12810-12823
No TPTP formula. May not be expressible in strict first order. Merge.kif 16874-16880
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20256-20264
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 609-622
No TPTP formula. May not be expressible in strict first order. Merge.kif 9676-9684
No TPTP formula. May not be expressible in strict first order. Weather.kif 985-996
No TPTP formula. May not be expressible in strict first order. emotion.kif 1440-1449
No TPTP formula. May not be expressible in strict first order. emotion.kif 1426-1435
No TPTP formula. May not be expressible in strict first order. Merge.kif 7756-7761
No TPTP formula. May not be expressible in strict first order. Merge.kif 12832-12847
No TPTP formula. May not be expressible in strict first order. Merge.kif 12849-12862
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18242-18249
No TPTP formula. May not be expressible in strict first order. Geography.kif 2227-2235
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18795-18804
No TPTP formula. May not be expressible in strict first order. Government.kif 2499-2504
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1372-1377
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1385-1393
No TPTP formula. May not be expressible in strict first order. Economy.kif 2363-2371
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 28846-28853
No TPTP formula. May not be expressible in strict first order. Economy.kif 2650-2658
No TPTP formula. May not be expressible in strict first order. Weather.kif 1386-1400

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 7599-7599 Before common era doesn't overlap common era


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners