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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - temporalPart
temporalPart

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2693-2696
No TPTP formula. May not be expressible in strict first order. Merge.kif 7935-7938
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1416-1419
No TPTP formula. May not be expressible in strict first order. Merge.kif 7932-7932 时间部分 的 1 数量 是 时间位置instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7933-7933 时间部分 的 2 数量 是 时间位置instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7929-7929 时间部分二元谓语instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7931-7931 时间部分偏序关系instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 7930-7930 时间部分时间关系instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 417-417
No TPTP formula. May not be expressible in strict first order. english_format.kif 423-423
No TPTP formula. May not be expressible in strict first order. french_format.kif 243-243
No TPTP formula. May not be expressible in strict first order. relations-it.txt 296-296
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2037-2037
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 195-195
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 248-248
No TPTP formula. May not be expressible in strict first order. relations-de.txt 541-541
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 332-332
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 264-264
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 264-264
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 488-488
No TPTP formula. May not be expressible in strict first order. Cars.kif 1433-1433 typicalTemporalPart时间部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Cars.kif 1475-1475 typicallyContainsTemporalPart时间部分 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 8064-8064 完成时间部分subrelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8032-8032 开始时间部分subrelation
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 418-418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57451-57451
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57450-57450

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8281-8288
No TPTP formula. May not be expressible in strict first order. Merge.kif 7954-7958
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. Media.kif 498-506
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14837-14846
No TPTP formula. May not be expressible in strict first order. Merge.kif 9299-9306
No TPTP formula. May not be expressible in strict first order. Merge.kif 9247-9254
No TPTP formula. May not be expressible in strict first order. Merge.kif 9312-9319
No TPTP formula. May not be expressible in strict first order. Merge.kif 9321-9330
No TPTP formula. May not be expressible in strict first order. Merge.kif 9286-9293
No TPTP formula. May not be expressible in strict first order. Merge.kif 9260-9267
No TPTP formula. May not be expressible in strict first order. Merge.kif 9273-9280
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. Cars.kif 1453-1470
No TPTP formula. May not be expressible in strict first order. Cars.kif 1493-1510
No TPTP formula. May not be expressible in strict first order. Merge.kif 7969-7972

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1936-1941
No TPTP formula. May not be expressible in strict first order. Media.kif 1943-1948
No TPTP formula. May not be expressible in strict first order. Economy.kif 3754-3764
No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. Merge.kif 12715-12728
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17051-17063
No TPTP formula. May not be expressible in strict first order. Media.kif 587-597
No TPTP formula. May not be expressible in strict first order. Merge.kif 12190-12198
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22260-22273
No TPTP formula. May not be expressible in strict first order. Merge.kif 8430-8439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18150-18184
No TPTP formula. May not be expressible in strict first order. Media.kif 1959-1963
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2808-2820
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14789-14798
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16816-16827
No TPTP formula. May not be expressible in strict first order. Geography.kif 1533-1541
No TPTP formula. May not be expressible in strict first order. WMD.kif 941-955
No TPTP formula. May not be expressible in strict first order. Merge.kif 8258-8260
No TPTP formula. May not be expressible in strict first order. Merge.kif 7998-8005
No TPTP formula. May not be expressible in strict first order. Merge.kif 8016-8023
No TPTP formula. May not be expressible in strict first order. Merge.kif 9447-9457
No TPTP formula. May not be expressible in strict first order. Merge.kif 7917-7927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22203-22214
No TPTP formula. May not be expressible in strict first order. Merge.kif 14376-14382
No TPTP formula. May not be expressible in strict first order. Media.kif 1844-1851

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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