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

Formal Language: 



KB Term:  Term intersection
English Word: 

  time

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 3871-3877
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 3866-3866 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3867-3867 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 3864-3864 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3862-3862 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3863-3863 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3865-3865 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3869-3869 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3868-3868 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 8546-8546 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 192-192
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58117-58117
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58116-58116
No TPTP formula. May not be expressible in strict first order. terms-de.txt 77-77

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2766
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
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 12804-12810
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23260-23267
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23289-23296
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23312-23317
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 3312-3321
No TPTP formula. May not be expressible in strict first order. Merge.kif 8206-8210
No TPTP formula. May not be expressible in strict first order. Merge.kif 7974-7977

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


No TPTP formula. May not be expressible in strict first order. Government.kif 706-713
No TPTP formula. May not be expressible in strict first order. Merge.kif 7960-7967
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 137-146
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2754-2766
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2768-2780
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23513-23526
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1428-1443
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22260-22273
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 955-964
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2669-2685
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2623-2639
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2687-2703
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2641-2659
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3312-3321
No TPTP formula. May not be expressible in strict first order. Merge.kif 8110-8122
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 839-844
No TPTP formula. May not be expressible in strict first order. Merge.kif 12795-12802
No TPTP formula. May not be expressible in strict first order. Merge.kif 12282-12289
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3097-3110
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 979-984
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23280-23287
No TPTP formula. May not be expressible in strict first order. Merge.kif 8124-8130

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