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

Formal Language: 


KB Term:  Term intersection
English Word: 

  AfternoonFn

Sigma KEE - AfternoonFn
AfternoonFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8950-8951
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1515-1516
No TPTP formula. May not be expressible in strict first order. Merge.kif 8947-8947 The number 1 argument of afternoon of is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8946-8946 Afternoon of is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8944-8944 Afternoon of is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8945-8945 Afternoon of is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8948-8948 The range of afternoon of is an instance of afternoon

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


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
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 2704-2704
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64408-64408

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8953-8958


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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