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 7795-7797
No TPTP formula. May not be expressible in strict first order. Merge.kif 7792-7792 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 7793-7793 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 7788-7788 overlaps temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7790-7790 overlaps temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7791-7791 overlaps temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7789-7789 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 43777-43777
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43776-43776
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43775-43775

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7799-7805 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 4744-4760
No TPTP formula. May not be expressible in strict first order. Geography.kif 4811-4821

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 2857-2873
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1958-1979
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1981-2002
No TPTP formula. May not be expressible in strict first order. Merge.kif 12862-12875
No TPTP formula. May not be expressible in strict first order. Merge.kif 16943-16949
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20235-20243
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 9734-9742
No TPTP formula. May not be expressible in strict first order. Weather.kif 2464-2475
No TPTP formula. May not be expressible in strict first order. emotion.kif 1446-1455
No TPTP formula. May not be expressible in strict first order. emotion.kif 1432-1441
No TPTP formula. May not be expressible in strict first order. Merge.kif 7807-7812
No TPTP formula. May not be expressible in strict first order. Merge.kif 12884-12899
No TPTP formula. May not be expressible in strict first order. Merge.kif 12901-12914
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18220-18227
No TPTP formula. May not be expressible in strict first order. Geography.kif 2248-2256
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18774-18783
No TPTP formula. May not be expressible in strict first order. Government.kif 2531-2536
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 28826-28833
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 2858-2872

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