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 7874-7877
No TPTP formula. May not be expressible in strict first order. Merge.kif 7871-7871 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 7872-7872 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 7868-7868 temporal part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 7870-7870 temporal part is an instance of partial ordering relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 7869-7869 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 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 8003-8003 finishes is a subrelation of temporal part
No TPTP formula. May not be expressible in strict first order. Merge.kif 7971-7971 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 57425-57425
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57424-57424

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8218-8225
No TPTP formula. May not be expressible in strict first order. Merge.kif 7893-7897
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 14683-14692
No TPTP formula. May not be expressible in strict first order. Merge.kif 9236-9243
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 9249-9256
No TPTP formula. May not be expressible in strict first order. Merge.kif 9258-9267
No TPTP formula. May not be expressible in strict first order. Merge.kif 9223-9230
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 9210-9217
No TPTP formula. May not be expressible in strict first order. Merge.kif 8181-8186
No TPTP formula. May not be expressible in strict first order. Merge.kif 8235-8240
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 7908-7911

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 3765-3775
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 12577-12590
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16893-16905
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 12052-12060
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22208-22221
No TPTP formula. May not be expressible in strict first order. Merge.kif 8367-8376
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17962-17996
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 14635-14644
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16658-16669
No TPTP formula. May not be expressible in strict first order. Geography.kif 1539-1547
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 8195-8197
No TPTP formula. May not be expressible in strict first order. Merge.kif 7937-7944
No TPTP formula. May not be expressible in strict first order. Merge.kif 7955-7962
No TPTP formula. May not be expressible in strict first order. Merge.kif 9384-9394
No TPTP formula. May not be expressible in strict first order. Merge.kif 7856-7866
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22151-22162
No TPTP formula. May not be expressible in strict first order. Merge.kif 14238-14244
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 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