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 8140-8142
No TPTP formula. May not be expressible in strict first order. Merge.kif 8137-8137 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 8138-8138 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 8133-8133 overlaps temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8135-8135 overlaps temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8136-8136 overlaps temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8134-8134 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 8144-8150
No TPTP formula. May not be expressible in strict first order. Merge.kif 8198-8204

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 930-936 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 5911-5924
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2924-2940
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2017-2038
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2040-2061
No TPTP formula. May not be expressible in strict first order. Merge.kif 13601-13614
No TPTP formula. May not be expressible in strict first order. Merge.kif 17943-17949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21828-21836
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 443-456
No TPTP formula. May not be expressible in strict first order. Merge.kif 10202-10210
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 8152-8157
No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8211
No TPTP formula. May not be expressible in strict first order. emotion.kif 1464-1473
No TPTP formula. May not be expressible in strict first order. emotion.kif 1450-1459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5465-5484
No TPTP formula. May not be expressible in strict first order. Merge.kif 8159-8164
No TPTP formula. May not be expressible in strict first order. Merge.kif 13623-13638
No TPTP formula. May not be expressible in strict first order. Merge.kif 13640-13653
No TPTP formula. May not be expressible in strict first order. Merge.kif 8177-8187
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19773-19783
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 20404-20413
No TPTP formula. May not be expressible in strict first order. Government.kif 2555-2560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 946-951

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 7564-7564 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