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 8292-8298
No TPTP formula. May not be expressible in strict first order. Merge.kif 8288-8288 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 8289-8289 The number 2 argument of hour is a subclass of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8286-8286 Hour is an instance of binary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8287-8287 Hour is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8285-8285 Hour is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8290-8290 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 477-477
No TPTP formula. May not be expressible in strict first order. Merge.kif 9002-9002 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 8304-8309
No TPTP formula. May not be expressible in strict first order. Merge.kif 16588-16600
No TPTP formula. May not be expressible in strict first order. Merge.kif 16606-16618
No TPTP formula. May not be expressible in strict first order. Merge.kif 16570-16582
No TPTP formula. May not be expressible in strict first order. Merge.kif 16552-16564
No TPTP formula. May not be expressible in strict first order. Merge.kif 8300-8302

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3656-3664
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3673-3681
No TPTP formula. May not be expressible in strict first order. Merge.kif 8470-8476
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18419-18426
No TPTP formula. May not be expressible in strict first order. Merge.kif 8482-8488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18433-18440
No TPTP formula. May not be expressible in strict first order. Food.kif 195-204

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