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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EveningFn

 Sigma KEE - EveningFn
EveningFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8973-8974
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1520-1521
No TPTP formula. May not be expressible in strict first order. Merge.kif 8970-8970 The number 1 argument of Evening fn is an instance of day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8969-8969 Evening fn is an instance of partial valued relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8967-8967 Evening fn is an instance of temporal relation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8968-8968 Evening fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Merge.kif 8971-8971 The range of Evening fn is an instance of evening

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3322-3322
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3321-3321
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3320-3320
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64838-64838

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8976-8981


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