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 7403-7406
No TPTP formula. May not be expressible in strict first order. Merge.kif 7400-7400 The number 1 argument of temporal part is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 7401-7401 The number 2 argument of temporal part is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 7397-7397 temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7399-7399 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7398-7398 temporal part 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 417-417
No TPTP formula. May not be expressible in strict first order. english_format.kif 426-426
No TPTP formula. May not be expressible in strict first order. Cars.kif 1428-1428 typicalTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1470-1470 typicallyContainsTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7516-7516 finishes is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7494-7494 starts is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 418-418 "时间部分" is the printable form of temporal part in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57390-57390 "時間部分" is the printable form of temporal part in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57389-57389 "temporal part" is the printable form of temporal part in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7437-7439 A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 7422-7426
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1226-1253
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. Merge.kif 8617-8624
No TPTP formula. May not be expressible in strict first order. Merge.kif 8565-8572
No TPTP formula. May not be expressible in strict first order. Merge.kif 8630-8637
No TPTP formula. May not be expressible in strict first order. Merge.kif 8639-8648
No TPTP formula. May not be expressible in strict first order. Merge.kif 8604-8611
No TPTP formula. May not be expressible in strict first order. Merge.kif 8578-8585
No TPTP formula. May not be expressible in strict first order. Merge.kif 8591-8598
No TPTP formula. May not be expressible in strict first order. Cars.kif 1448-1465
No TPTP formula. May not be expressible in strict first order. Cars.kif 1488-1505

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7647-7653 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. Media.kif 1938-1943
No TPTP formula. May not be expressible in strict first order. Media.kif 1945-1950
No TPTP formula. May not be expressible in strict first order. Economy.kif 3755-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 11667-11679
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14604-14616
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 11202-11210
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20088-20101
No TPTP formula. May not be expressible in strict first order. Merge.kif 7765-7774
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15843-15877
No TPTP formula. May not be expressible in strict first order. Media.kif 1961-1965
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2728-2740
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12532-12541
No TPTP formula. May not be expressible in strict first order. Merge.kif 683-690
No TPTP formula. May not be expressible in strict first order. WMD.kif 899-910
No TPTP formula. May not be expressible in strict first order. Merge.kif 7662-7664
No TPTP formula. May not be expressible in strict first order. Merge.kif 7460-7467
No TPTP formula. May not be expressible in strict first order. Merge.kif 7478-7485
No TPTP formula. May not be expressible in strict first order. Merge.kif 8765-8775
No TPTP formula. May not be expressible in strict first order. Merge.kif 7387-7395
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20013-20024
No TPTP formula. May not be expressible in strict first order. Merge.kif 13223-13229
No TPTP formula. May not be expressible in strict first order. Media.kif 1834-1841

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners