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 7527-7530
No TPTP formula. May not be expressible in strict first order. Merge.kif 7524-7524 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 7525-7525 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 7521-7521 temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7523-7523 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7522-7522 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 1429-1429 typicalTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1471-1471 typicallyContainsTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7640-7640 finishes is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7618-7618 starts is a subrelation of temporal part
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 57353-57353
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57352-57352

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7561-7563 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 7546-7550
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 8741-8748
No TPTP formula. May not be expressible in strict first order. Merge.kif 8689-8696
No TPTP formula. May not be expressible in strict first order. Merge.kif 8754-8761
No TPTP formula. May not be expressible in strict first order. Merge.kif 8763-8772
No TPTP formula. May not be expressible in strict first order. Merge.kif 8728-8735
No TPTP formula. May not be expressible in strict first order. Merge.kif 8702-8709
No TPTP formula. May not be expressible in strict first order. Merge.kif 8715-8722
No TPTP formula. May not be expressible in strict first order. Cars.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. Cars.kif 1489-1506

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7771-7777 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 11788-11800
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14630-14642
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 11323-11331
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20125-20138
No TPTP formula. May not be expressible in strict first order. Merge.kif 7889-7898
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15869-15903
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 2729-2741
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12558-12567
No TPTP formula. May not be expressible in strict first order. Merge.kif 682-689
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 7786-7788
No TPTP formula. May not be expressible in strict first order. Merge.kif 7584-7591
No TPTP formula. May not be expressible in strict first order. Merge.kif 7602-7609
No TPTP formula. May not be expressible in strict first order. Merge.kif 8889-8899
No TPTP formula. May not be expressible in strict first order. Merge.kif 7511-7519
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20050-20061
No TPTP formula. May not be expressible in strict first order. Merge.kif 13341-13347
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 3.0 is open source software produced by Articulate Software and its partners