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 7767-7769
No TPTP formula. May not be expressible in strict first order. Merge.kif 7764-7764 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 7765-7765 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 7760-7760 overlaps temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7762-7762 overlaps temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7763-7763 overlaps temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7761-7761 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 43702-43702
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43701-43701
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43700-43700

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7771-7777 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 12827-12840
No TPTP formula. May not be expressible in strict first order. Merge.kif 16891-16897
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20229-20237
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 9699-9707
No TPTP formula. May not be expressible in strict first order. Weather.kif 1202-1213
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 7779-7784
No TPTP formula. May not be expressible in strict first order. Merge.kif 12849-12864
No TPTP formula. May not be expressible in strict first order. Merge.kif 12866-12879
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18215-18222
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 18768-18777
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 28818-28825
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 1604-1618

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 7572-7572 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 3.0 is open source software produced by Articulate Software and its partners