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 3699-3705
No TPTP formula. May not be expressible in strict first order. Merge.kif 3694-3694 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3695-3695 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 3692-3692 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3690-3690 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3691-3691 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3693-3693 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3697-3697 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3696-3696 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 195-195
No TPTP formula. May not be expressible in strict first order. Merge.kif 7983-7983 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 57998-57998
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 57997-57997

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7731-7735 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 2675-2687
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2689-2701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21489-21502
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1390-1407
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. Mid-level-ontology.kif 21229-21236
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21258-21265
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21281-21286
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 3210-3219

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11847-11854 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 11395-11402 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 7538-7540 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 693-700
No TPTP formula. May not be expressible in strict first order. Merge.kif 7529-7536
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2453-2460
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 2675-2687
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2689-2701
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21489-21502
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1369-1384
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20152-20165
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1390-1407
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 953-962
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2591-2607
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2545-2561
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2609-2625
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2563-2581
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3210-3219
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 7653-7665
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2388-2395
No TPTP formula. May not be expressible in strict first order. Merge.kif 804-809
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3006-3019
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 977-982

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