TimeInterval(time interval)

-------------------------


No TPTP formula. May not be expressible in strict first order. Food.kif 1861-1861 Lunch time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9350-9350 Minute is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9043-9043 Month is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8888-8888 Night time is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19104-19104 Post meridiem is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8987-8987 Quarter year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 26-26 Ramadan is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19131-19131 Season of year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9360-9360 Second is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8862-8862 Sunrise is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8866-8866 Sunset is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 9332-9332 Week is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19118-19118 Weekend is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. Merge.kif 8738-8738 Year is a subclass of time interval
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 880-880
No TPTP formula. May not be expressible in strict first order. english_format.kif 962-962
No TPTP formula. May not be expressible in strict first order. Merge.kif 2085-2085
No TPTP formula. May not be expressible in strict first order. french_format.kif 556-556
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 86-86
No TPTP formula. May not be expressible in strict first order. terms-it.txt 89-89
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2241-2241
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 508-508
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 91-91
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 123-123

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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