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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MorningFn

 Sigma KEE - MorningFn
MorningFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8843-8844
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1513-1514
No TPTP formula. May not be expressible in strict first order. Merge.kif 8840-8840 域 MorningFn, 1 and Day
No TPTP formula. May not be expressible in strict first order. Merge.kif 8839-8839 例 MorningFn and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8837-8837 例 MorningFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8838-8838 例 MorningFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 8841-8841 範圍 MorningFn and 早上

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3882-3882
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3881-3881
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 3880-3880
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65191-65191

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8846-8851


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