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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TimePoint

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 2033-2038
No TPTP formula. May not be expressible in strict first order. Merge.kif 2031-2031 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 7786-7786 Negative infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7768-7768 Positive infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7887-7887 The range of begin is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7915-7915 The range of end is an instance of time point
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2140-2140 Epoch is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8682-8682 Midnight is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8756-8756 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 964-964

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


No TPTP formula. May not be expressible in strict first order. Music.kif 1041-1041 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 8313-8313 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 8314-8314 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 13502-13502 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 4133-4133 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 13491-13491 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 13516-13516 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 257-257 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 8005-8005 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 8006-8006 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 8043-8043 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 8044-8044 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 951-951 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 30067-30067 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 1473-1473 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 8065-8065 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 8066-8066 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 8067-8067 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 8089-8089 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 8090-8090 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 8183-8190
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 7791-7795
No TPTP formula. May not be expressible in strict first order. Merge.kif 7797-7802
No TPTP formula. May not be expressible in strict first order. Merge.kif 7773-7777
No TPTP formula. May not be expressible in strict first order. Merge.kif 7779-7784
No TPTP formula. May not be expressible in strict first order. Merge.kif 8322-8330
No TPTP formula. May not be expressible in strict first order. Merge.kif 8332-8341
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13506-13512
No TPTP formula. May not be expressible in strict first order. Merge.kif 7428-7432
No TPTP formula. May not be expressible in strict first order. Merge.kif 8110-8114
No TPTP formula. May not be expressible in strict first order. Merge.kif 7844-7849

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29408-29438
No TPTP formula. May not be expressible in strict first order. Merge.kif 9345-9355
No TPTP formula. May not be expressible in strict first order. Merge.kif 7851-7856
No TPTP formula. May not be expressible in strict first order. Merge.kif 8014-8026
No TPTP formula. May not be expressible in strict first order. Merge.kif 8116-8125


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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