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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AfternoonFn
AfternoonFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8268-8269
No TPTP formula. May not be expressible in strict first order. Merge.kif 8265-8265 The number 1 argument of AfternoonFn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8264-8264 AfternoonFn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8262-8262 AfternoonFn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8263-8263 AfternoonFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8266-8266 The range of AfternoonFn is an instance of afternoon

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2707-2707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2706-2706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2705-2705

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8271-8273


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners