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 7839-7842
No TPTP formula. May not be expressible in strict first order. Merge.kif 7836-7836 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 7837-7837 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 7833-7833 temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7835-7835 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7834-7834 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. Cars.kif 1433-1433 typicalTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Cars.kif 1475-1475 typicallyContainsTemporalPart is internally related to temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7968-7968 finishes is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7936-7936 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 57418-57418
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57417-57417

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8183-8190
No TPTP formula. May not be expressible in strict first order. Merge.kif 7858-7862
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 9197-9204
No TPTP formula. May not be expressible in strict first order. Merge.kif 9145-9152
No TPTP formula. May not be expressible in strict first order. Merge.kif 9210-9217
No TPTP formula. May not be expressible in strict first order. Merge.kif 9219-9228
No TPTP formula. May not be expressible in strict first order. Merge.kif 9184-9191
No TPTP formula. May not be expressible in strict first order. Merge.kif 9158-9165
No TPTP formula. May not be expressible in strict first order. Merge.kif 9171-9178
No TPTP formula. May not be expressible in strict first order. Merge.kif 8146-8151
No TPTP formula. May not be expressible in strict first order. Merge.kif 8200-8205
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 7873-7876

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1934-1939
No TPTP formula. May not be expressible in strict first order. Media.kif 1941-1946
No TPTP formula. May not be expressible in strict first order. Economy.kif 3762-3771
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 12477-12490
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16470-16482
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 11960-11968
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21716-21729
No TPTP formula. May not be expressible in strict first order. Merge.kif 8332-8341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17535-17569
No TPTP formula. May not be expressible in strict first order. Media.kif 1957-1961
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14253-14262
No TPTP formula. May not be expressible in strict first order. Merge.kif 700-707
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16236-16247
No TPTP formula. May not be expressible in strict first order. Geography.kif 1537-1545
No TPTP formula. May not be expressible in strict first order. WMD.kif 937-948
No TPTP formula. May not be expressible in strict first order. Merge.kif 8160-8162
No TPTP formula. May not be expressible in strict first order. Merge.kif 7902-7909
No TPTP formula. May not be expressible in strict first order. Merge.kif 7920-7927
No TPTP formula. May not be expressible in strict first order. Merge.kif 9345-9355
No TPTP formula. May not be expressible in strict first order. Merge.kif 7821-7831
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21659-21670
No TPTP formula. May not be expressible in strict first order. Merge.kif 14108-14114
No TPTP formula. May not be expressible in strict first order. Media.kif 1830-1837

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