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 2104-2109
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 402-405
No TPTP formula. May not be expressible in strict first order. Merge.kif 2102-2102 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 7967-7967 Negative infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 7949-7949 Positive infinity is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8068-8068 The range of begin is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8096-8096 The range of end is an instance of time point
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2267-2267 Epoch is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8893-8893 Midnight is a subclass of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8967-8967 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 881-881 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. english_format.kif 964-964 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. french_format.kif 557-557 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 87-87 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. terms-it.txt 90-90 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2242-2242 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 509-509 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 92-92 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 124-124 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. terms-de.txt 383-383 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 578-578 Noon is a subclass of time point
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 91-91 Noon is a subclass of time point

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


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1022-1022 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 8524-8524 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 8525-8525 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 15407-15407 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 4251-4251 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 15396-15396 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 15421-15421 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 259-259 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 8214-8214 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 8215-8215 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 8252-8252 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 8253-8253 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 686-686 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 32623-32623 The number 2 argument of first instance created 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 1482-1482 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. Music.kif 1497-1497 The number 3 argument of release for sale is an instance of time point
No TPTP formula. May not be expressible in strict first order. Dining.kif 708-708 The number 1 argument of reservation end is an instance of time point
No TPTP formula. May not be expressible in strict first order. Dining.kif 701-701 The number 1 argument of reservation start is an instance of time point
No TPTP formula. May not be expressible in strict first order. Merge.kif 8274-8274 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 8275-8275 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 8276-8276 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 8298-8298 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 8299-8299 The number 2 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 8300-8300 The number 3 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 8394-8401
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1033-1060
No TPTP formula. May not be expressible in strict first order. Weather.kif 2427-2437
No TPTP formula. May not be expressible in strict first order. Merge.kif 7972-7976
No TPTP formula. May not be expressible in strict first order. Merge.kif 7978-7983
No TPTP formula. May not be expressible in strict first order. Merge.kif 7954-7958
No TPTP formula. May not be expressible in strict first order. Merge.kif 7960-7965
No TPTP formula. May not be expressible in strict first order. Merge.kif 8533-8541
No TPTP formula. May not be expressible in strict first order. Merge.kif 8543-8552
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15411-15417
No TPTP formula. May not be expressible in strict first order. Merge.kif 7569-7573
No TPTP formula. May not be expressible in strict first order. Merge.kif 8319-8323
No TPTP formula. May not be expressible in strict first order. Merge.kif 8025-8030

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 31922-31952
No TPTP formula. May not be expressible in strict first order. Merge.kif 9583-9593
No TPTP formula. May not be expressible in strict first order. Merge.kif 8032-8037
No TPTP formula. May not be expressible in strict first order. Merge.kif 8223-8235
No TPTP formula. May not be expressible in strict first order. Merge.kif 8325-8334


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