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

Formal Language: 



KB Term:  Term intersection
English Word: 

  overlapsTemporally

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 8169-8171
No TPTP formula. May not be expressible in strict first order. Merge.kif 8166-8166 The number 1 argument of overlap temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8167-8167 The number 2 argument of overlap temporally is an instance of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8162-8162 overlap temporally is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 8164-8164 overlap temporally is an instance of reflexive relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8165-8165 overlap temporally is an instance of symmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8163-8163 overlap 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 43772-43772
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43771-43771
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43770-43770

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4867-4885
No TPTP formula. May not be expressible in strict first order. Geography.kif 4936-4946
No TPTP formula. May not be expressible in strict first order. Merge.kif 8173-8179
No TPTP formula. May not be expressible in strict first order. Merge.kif 8227-8233

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 935-942 An integer is a year of founding of an organization if and only if there exist a process and the integerEAR such that the integerEAR overlaps the time of existence of the process and the integerEAR is an instance of the year the integer and the process is an instance of founding and the organization is a result of the process
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6191-6204
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2930-2946
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2022-2043
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2045-2066
No TPTP formula. May not be expressible in strict first order. Merge.kif 13703-13716
No TPTP formula. May not be expressible in strict first order. Merge.kif 18044-18050
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22296-22304
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 445-458
No TPTP formula. May not be expressible in strict first order. Merge.kif 10244-10252
No TPTP formula. May not be expressible in strict first order. Weather.kif 2471-2482
No TPTP formula. May not be expressible in strict first order. Merge.kif 8181-8186
No TPTP formula. May not be expressible in strict first order. Merge.kif 8235-8240
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 5739-5758
No TPTP formula. May not be expressible in strict first order. Merge.kif 8188-8193
No TPTP formula. May not be expressible in strict first order. Merge.kif 13725-13740
No TPTP formula. May not be expressible in strict first order. Merge.kif 13742-13755
No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8216
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20207-20217
No TPTP formula. May not be expressible in strict first order. Geography.kif 2285-2295
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20870-20882
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20847-20861
No TPTP formula. May not be expressible in strict first order. Government.kif 2558-2563

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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