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 7610-7612
No TPTP formula. May not be expressible in strict first order. Merge.kif 7607-7607 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 7608-7608 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 7603-7603 overlaps temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7605-7605 overlaps temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7606-7606 overlaps temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7604-7604 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 "在时间上重叠" is the printable form of overlaps temporally in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43705-43705 "暂时重叠" is the printable form of overlaps temporally in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43704-43704 "暫時重疊" is the printable form of overlaps temporally in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43703-43703 "overlaps temporally" is the printable form of overlaps temporally in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7614-7620 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 1352-1358 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. Merge.kif 12676-12689
No TPTP formula. May not be expressible in strict first order. Merge.kif 16737-16743
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20096-20104
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 610-623
No TPTP formula. May not be expressible in strict first order. Merge.kif 9542-9550
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 1439-1448
No TPTP formula. May not be expressible in strict first order. emotion.kif 1425-1434
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2837-2853
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1944-1962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1964-1982
No TPTP formula. May not be expressible in strict first order. Merge.kif 7622-7627
No TPTP formula. May not be expressible in strict first order. Merge.kif 12698-12713
No TPTP formula. May not be expressible in strict first order. Merge.kif 12715-12728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18093-18100
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 18646-18655
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 1368-1373
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1381-1389
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 28690-28697
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 7589-7589 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