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 2039-2044
No TPTP formula. May not be expressible in strict first order. Merge.kif 2037-2037 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 7792-7792 Negative infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7774-7774 Positive infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7893-7893 The range of begin is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7921-7921 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 8688-8688 Midnight is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8762-8762 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 8319-8319 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 8320-8320 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 13506-13506 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 4139-4139 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 13495-13495 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 13520-13520 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 8011-8011 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 8012-8012 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 8049-8049 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 8050-8050 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 955-955 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 30091-30091 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 8071-8071 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 8072-8072 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 8073-8073 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 8095-8095 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 8096-8096 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 8189-8196
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 7797-7801
No TPTP formula. May not be expressible in strict first order. Merge.kif 7803-7808
No TPTP formula. May not be expressible in strict first order. Merge.kif 7779-7783
No TPTP formula. May not be expressible in strict first order. Merge.kif 7785-7790
No TPTP formula. May not be expressible in strict first order. Merge.kif 8328-8336
No TPTP formula. May not be expressible in strict first order. Merge.kif 8338-8347
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13510-13516
No TPTP formula. May not be expressible in strict first order. Merge.kif 7434-7438
No TPTP formula. May not be expressible in strict first order. Merge.kif 8116-8120
No TPTP formula. May not be expressible in strict first order. Merge.kif 7850-7855

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29432-29462
No TPTP formula. May not be expressible in strict first order. Merge.kif 9351-9361
No TPTP formula. May not be expressible in strict first order. Merge.kif 7857-7862
No TPTP formula. May not be expressible in strict first order. Merge.kif 8020-8032
No TPTP formula. May not be expressible in strict first order. Merge.kif 8122-8131


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