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 7555-7558
No TPTP formula. May not be expressible in strict first order. Merge.kif 7552-7552 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 7553-7553 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 7549-7549 temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7551-7551 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7550-7550 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 1447-1447 typicalTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1489-1489 typicallyContainsTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7668-7668 finishes is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7646-7646 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 57417-57417
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57416-57416

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7589-7591 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 7574-7578
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1230-1257
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 8772-8779
No TPTP formula. May not be expressible in strict first order. Merge.kif 8720-8727
No TPTP formula. May not be expressible in strict first order. Merge.kif 8785-8792
No TPTP formula. May not be expressible in strict first order. Merge.kif 8794-8803
No TPTP formula. May not be expressible in strict first order. Merge.kif 8759-8766
No TPTP formula. May not be expressible in strict first order. Merge.kif 8733-8740
No TPTP formula. May not be expressible in strict first order. Merge.kif 8746-8753
No TPTP formula. May not be expressible in strict first order. Cars.kif 1467-1484
No TPTP formula. May not be expressible in strict first order. Cars.kif 1507-1524

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7799-7805 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 11823-11835
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13658-13670
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 11358-11366
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18730-18743
No TPTP formula. May not be expressible in strict first order. Merge.kif 7918-7927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14723-14757
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 2748-2760
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11568-11577
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 932-943
No TPTP formula. May not be expressible in strict first order. Merge.kif 7814-7816
No TPTP formula. May not be expressible in strict first order. Merge.kif 7612-7619
No TPTP formula. May not be expressible in strict first order. Merge.kif 7630-7637
No TPTP formula. May not be expressible in strict first order. Merge.kif 8920-8930
No TPTP formula. May not be expressible in strict first order. Merge.kif 7537-7547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18673-18684
No TPTP formula. May not be expressible in strict first order. Merge.kif 13376-13382
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