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. Merge.kif 5832-5835
No TPTP formula. May not be expressible in strict first order. Merge.kif 5824-5830
No TPTP formula. May not be expressible in strict first order. Merge.kif 5837-5841
No TPTP formula. May not be expressible in strict first order. Merge.kif 5819-5819 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 5820-5820 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 5817-5817 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5815-5815 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 5816-5816 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5818-5818 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 5822-5822 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 5821-5821 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 264-264
No TPTP formula. May not be expressible in strict first order. english_format.kif 265-265
No TPTP formula. May not be expressible in strict first order. Merge.kif 12076-12076 date is a subrelation of time
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 192-192 "ζ—Άι—΄" is the printable form of time in ChineseLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58056-58056 "ζ™‚ι–“" is the printable form of time in ChineseTraditionalLanguage
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58055-58055 "time" is the printable form of time in english language

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11738-11742 A physical exists during a time point and the time point is an instance of time point if and only if the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 428-437
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2674-2686
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2688-2700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21425-21438
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1370-1386
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1392-1409
No TPTP formula. May not be expressible in strict first order. Justice.kif 59-67
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 450-459
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21165-21172
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21194-21201
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21217-21222
No TPTP formula. May not be expressible in strict first order. Catalog.kif 450-472
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3203-3212

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17098-17105 A process is an instance of creation if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the end of the time of existence of the process and the physical doesn't exist during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 16584-16591 A process is an instance of destruction if and only if there exists a physical such that the physical is a patient of the process and the physical exists during the beginning of the time of existence of the process and the physical doesn't exist during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order. Merge.kif 11488-11490 A time position is a part of the time of existence of a physical if and only if the physical exists during the time position
No TPTP formula. May not be expressible in strict first order. Government.kif 700-707
No TPTP formula. May not be expressible in strict first order. Merge.kif 11479-11486
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1967-1974
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 2674-2686
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2688-2700
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21425-21438
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1370-1386
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20088-20101
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1392-1409
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 943-952
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2590-2606
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2546-2562
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2608-2624
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2564-2580
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3203-3212
No TPTP formula. May not be expressible in strict first order. Biography.kif 68-74
No TPTP formula. May not be expressible in strict first order. Merge.kif 11637-11649
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1906-1913
No TPTP formula. May not be expressible in strict first order. Merge.kif 1243-1248
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3005-3016
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 967-972

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners