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 3740-3746
No TPTP formula. May not be expressible in strict first order. Merge.kif 3735-3735 The number 1 argument of time is an instance of physical
No TPTP formula. May not be expressible in strict first order. Merge.kif 3736-3736 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 3733-3733 time is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3731-3731 time is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order. Merge.kif 3732-3732 time is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3734-3734 time is an instance of total valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 3738-3738 time is internally related to holds during
No TPTP formula. May not be expressible in strict first order. Merge.kif 3737-3737 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 8035-8035 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 58095-58095
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 58094-58094

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 7782-7786 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 2694-2706
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2708-2720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21468-21481
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1403-1420
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 21208-21215
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21237-21244
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21260-21265
No TPTP formula. May not be expressible in strict first order. Catalog.kif 458-483
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3252-3261

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 11902-11909 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 11450-11457 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 7589-7591 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 7580-7587
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 2694-2706
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2708-2720
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21468-21481
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1382-1397
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20131-20144
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1403-1420
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 2610-2626
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 2628-2644
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2582-2600
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3252-3261
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 7704-7716
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 3037-3050
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