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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - time
time

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2079-2082
No TPTP formula. May not be expressible in strict first order. Merge.kif 3884-3890
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 726-730
No TPTP formula. May not be expressible in strict first order. Merge.kif 3879-3879 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3880-3880 The number 2 argument of time is an instance of time position
No TPTP formula. May not be expressible in strict first order. Merge.kif 3877-3877 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3875-3875 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3876-3876 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3878-3878 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3882-3882 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3881-3881 time is internally related to located

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 191-191
No TPTP formula. May not be expressible in strict first order. english_format.kif 192-192
No TPTP formula. May not be expressible in strict first order. french_format.kif 115-115
No TPTP formula. May not be expressible in strict first order. relations-it.txt 299-299
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1944-1944
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 67-67
No TPTP formula. May not be expressible in strict first order. relations-cz.txt 116-116
No TPTP formula. May not be expressible in strict first order. relations-de.txt 244-244
No TPTP formula. May not be expressible in strict first order. relations-hindi.txt 335-335
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 134-134
No TPTP formula. May not be expressible in strict first order. relations-sv.txt 120-120
No TPTP formula. May not be expressible in strict first order. relations-tg.txt 491-491
No TPTP formula. May not be expressible in strict first order. Merge.kif 8659-8659 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 192-192 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58125-58125 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58124-58124 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. terms-de.txt 77-77 date is a subrelation of time

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2771-2783
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2785-2797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25154-25167
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1465-1482
No TPTP formula. May not be expressible in strict first order. Justice.kif 61-69
No TPTP formula. May not be expressible in strict first order. Merge.kif 12958-12964
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24901-24908
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24930-24937
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24953-24958
No TPTP formula. May not be expressible in strict first order. Catalog.kif 467-492
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3329-3338
No TPTP formula. May not be expressible in strict first order. Merge.kif 8319-8323
No TPTP formula. May not be expressible in strict first order. Merge.kif 8059-8062

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


No TPTP formula. May not be expressible in strict first order. Government.kif 669-676
No TPTP formula. May not be expressible in strict first order. Merge.kif 8045-8052
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2438-2445
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 139-148
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2771-2783
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2785-2797
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25154-25167
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1444-1459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23901-23914
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1465-1482
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1064-1073
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2686-2702
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2640-2656
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2704-2720
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2658-2676
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3329-3338
No TPTP formula. May not be expressible in strict first order. Merge.kif 8223-8235
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2373-2380
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-837
No TPTP formula. May not be expressible in strict first order. Merge.kif 12949-12956
No TPTP formula. May not be expressible in strict first order. Merge.kif 12432-12439
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3114-3127
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1088-1093
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24921-24928
No TPTP formula. May not be expressible in strict first order. Merge.kif 8237-8243

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