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 3730-3736
No TPTP formula. May not be expressible in strict first order. Merge.kif 3725-3725 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3726-3726 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 3723-3723 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3721-3721 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3722-3722 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3724-3724 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3728-3728 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3727-3727 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 8006-8006 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 58019-58019
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58018-58018

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7754-7758 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 21462-21475
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 21202-21209
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21231-21238
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21254-21259
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 11867-11874 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 11415-11422 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 7561-7563 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 7552-7559
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 21462-21475
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 20125-20138
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 7676-7688
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 3.0 is open source software produced by Articulate Software and its partners