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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TimePoint
TimePoint(time point)drinking_age, eleventh_hour, here_and_now, instant, last_minute, minute, moment, moment_of_truth, now, point, point_in_time, present_moment, run-time, second, show_time, voting_age

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1787-1789
No TPTP formula. May not be expressible in strict first order. Merge.kif 2005-2010
No TPTP formula. May not be expressible in strict first order. Merge.kif 2003-2003 Time point is a subclass of time position

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7500-7500 Negative infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7482-7482 Positive infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7597-7597 The range of begin is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7625-7625 The range of end is an instance of time point
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2141-2141 Epoch is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8269-8269 Midnight is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8335-8335 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 881-881
No TPTP formula. May not be expressible in strict first order. english_format.kif 969-969

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1040-1040 The number 2 argument of contest function is an instance of time point
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1219-1219 The number 4 argument of sellers other items is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7899-7899 The number 1 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7900-7900 The number 2 argument of time interval is an instance of time point
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10817-10817 The number 1 argument of time period function is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 4083-4083 The number 2 argument of where is an instance of time point
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10806-10806 The number 2 argument of agreement effective date is an instance of time point
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10831-10831 The number 2 argument of expiration date is an instance of time point
No TPTP formula. May not be expressible in strict first order. Music.kif 256-256 The number 2 argument of album release is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7695-7695 The number 1 argument of before is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7696-7696 The number 2 argument of before is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7733-7733 The number 1 argument of before or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7734-7734 The number 2 argument of before or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order. Hotel.kif 661-661 The number 2 argument of check-out time is an instance of time point
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 934-934 The number 2 argument of date used is an instance of time point
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26905-26905 The number 2 argument of firstInstanceCreated is an instance of time point
No TPTP formula. May not be expressible in strict first order. Music.kif 94-94 The number 2 argument of produced on is an instance of time point
No TPTP formula. May not be expressible in strict first order. Music.kif 1472-1472 The number 3 argument of release for consumption is an instance of time point
No TPTP formula. May not be expressible in strict first order. Dining.kif 662-662 The number 1 argument of reservationEnd is an instance of time point
No TPTP formula. May not be expressible in strict first order. Dining.kif 655-655 The number 1 argument of reservationStart is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7749-7749 The number 1 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7750-7750 The number 2 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7751-7751 The number 3 argument of temporally between is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7767-7767 The number 1 argument of temporally between or equal is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7768-7768 The number 2 argument of temporally between or equal is an instance of time point

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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. UXExperimentalTerms.kif 1230-1257
No TPTP formula. May not be expressible in strict first order. Weather.kif 1597-1607
No TPTP formula. May not be expressible in strict first order. Merge.kif 7505-7509
No TPTP formula. May not be expressible in strict first order. Merge.kif 7511-7516
No TPTP formula. May not be expressible in strict first order. Merge.kif 7487-7491
No TPTP formula. May not be expressible in strict first order. Merge.kif 7493-7498
No TPTP formula. May not be expressible in strict first order. Merge.kif 7908-7916
No TPTP formula. May not be expressible in strict first order. Merge.kif 7918-7927
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10821-10827
No TPTP formula. May not be expressible in strict first order. Merge.kif 7192-7196
No TPTP formula. May not be expressible in strict first order. Merge.kif 7560-7565

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26254-26283
No TPTP formula. May not be expressible in strict first order. Merge.kif 8920-8930
No TPTP formula. May not be expressible in strict first order. Merge.kif 7567-7572
No TPTP formula. May not be expressible in strict first order. Merge.kif 7704-7716


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