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 8230-8232
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1441-1443
No TPTP formula. May not be expressible in strict first order. Merge.kif 8227-8227 在时间上重叠 的 1 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8228-8228 在时间上重叠 的 2 数量 是 时距instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8223-8223 在时间上重叠二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8225-8225 在时间上重叠自反关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8226-8226 在时间上重叠对称关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 8224-8224 在时间上重叠时间关系instance

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. french_format.kif 250-250
No TPTP formula. May not be expressible in strict first order. relations-it.txt 208-208
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2044-2044
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 202-202
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 256-256
No TPTP formula. May not be expressible in strict first order. relations-de.txt 562-562
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 246-246
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 271-271
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 274-274
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 398-398
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 43788-43788
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43787-43787
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 43786-43786
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 399-399

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 4958-4976
No TPTP formula. May not be expressible in strict first order. Geography.kif 5027-5037
No TPTP formula. May not be expressible in strict first order. Merge.kif 8234-8240
No TPTP formula. May not be expressible in strict first order. Merge.kif 8290-8296

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 968-975 整数 机构year 资金 若且唯若 有存在 过程那个 整数EAR 这样 那个 整数EAR 时段 和 那个 过程 出现 的 time 重叠 和 那个 整数EAR 是 那个 整数 yearinstance那个 过程创建instance那个 机构那个 过程result
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6231-6244
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2917-2933
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2008-2029
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2031-2052
No TPTP formula. May not be expressible in strict first order. Merge.kif 13841-13854
No TPTP formula. May not be expressible in strict first order. Merge.kif 18203-18209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22348-22356
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 450-463
No TPTP formula. May not be expressible in strict first order. Merge.kif 10289-10297
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 8242-8247
No TPTP formula. May not be expressible in strict first order. Merge.kif 8298-8303
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 5779-5798
No TPTP formula. May not be expressible in strict first order. Merge.kif 8249-8256
No TPTP formula. May not be expressible in strict first order. Merge.kif 13863-13878
No TPTP formula. May not be expressible in strict first order. Merge.kif 13880-13893
No TPTP formula. May not be expressible in strict first order. Merge.kif 8269-8279
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20426-20436
No TPTP formula. May not be expressible in strict first order. Geography.kif 2280-2290
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21089-21101
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21066-21080
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 7891-7891 共同的时代之前 时段 doesn't 和 共同时代 重叠


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