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

Formal Language: 



KB Term:  Term intersection
English Word: 

  temporalPart

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 7921-7924
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 7918-7918 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 7919-7919 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 7915-7915 temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7917-7917 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7916-7916 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 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 typical temporal part is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1475-1475 typically contains temporal part is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 8050-8050 finishes is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 8018-8018 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 57463-57463
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57462-57462

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8267-8274
No TPTP formula. May not be expressible in strict first order. Merge.kif 7940-7944
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. Mid-level-ontology.kif 14772-14781
No TPTP formula. May not be expressible in strict first order. Merge.kif 9285-9292
No TPTP formula. May not be expressible in strict first order. Merge.kif 9233-9240
No TPTP formula. May not be expressible in strict first order. Merge.kif 9298-9305
No TPTP formula. May not be expressible in strict first order. Merge.kif 9307-9316
No TPTP formula. May not be expressible in strict first order. Merge.kif 9272-9279
No TPTP formula. May not be expressible in strict first order. Merge.kif 9246-9253
No TPTP formula. May not be expressible in strict first order. Merge.kif 9259-9266
No TPTP formula. May not be expressible in strict first order. Merge.kif 8228-8233
No TPTP formula. May not be expressible in strict first order. Merge.kif 8284-8289
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 7955-7958

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 3770-3780
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 12608-12621
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16986-16998
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 12083-12091
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22210-22223
No TPTP formula. May not be expressible in strict first order. Merge.kif 8416-8425
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18062-18096
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 2821-2833
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14724-14733
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16751-16762
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 8244-8246
No TPTP formula. May not be expressible in strict first order. Merge.kif 7984-7991
No TPTP formula. May not be expressible in strict first order. Merge.kif 8002-8009
No TPTP formula. May not be expressible in strict first order. Merge.kif 9433-9443
No TPTP formula. May not be expressible in strict first order. Merge.kif 7903-7913
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22153-22164
No TPTP formula. May not be expressible in strict first order. Merge.kif 14269-14275
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 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