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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HourFn
HourFn

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2764-2768
No TPTP formula. May not be expressible in strict first order. Merge.kif 8106-8112
No TPTP formula. May not be expressible in strict first order. Merge.kif 8102-8102 The number 1 argument of hour is an instance of nonnegative integer
No TPTP formula. May not be expressible in strict first order. Merge.kif 8103-8103 The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8100-8100 Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8101-8101 Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8099-8099 Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8104-8104 The values returned by hour are subclasses of hour

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 471-471
No TPTP formula. May not be expressible in strict first order. english_format.kif 480-480
No TPTP formula. May not be expressible in strict first order. Merge.kif 8814-8814 Hour is internally related to hour
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28698-28698
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 472-472
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28697-28697
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28696-28696

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 8118-8123
No TPTP formula. May not be expressible in strict first order. Merge.kif 8114-8116

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3632-3640
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3649-3657
No TPTP formula. May not be expressible in strict first order. Merge.kif 8284-8289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15634-15641
No TPTP formula. May not be expressible in strict first order. Merge.kif 8295-8300
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15648-15655
No TPTP formula. May not be expressible in strict first order. Food.kif 213-222

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2149-2149 Unix epoch is equal to the second 0


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