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 8821-8822
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 8818-8818 O argumento numero 1 de MorningFn e' uma instancia de Dia
No TPTP formula. May not be expressible in strict first order. Merge.kif 8817-8817 MorningFn e' uma instancia de Relacao Parcial
No TPTP formula. May not be expressible in strict first order. Merge.kif 8815-8815 MorningFn e' uma instancia de Relacao Temporal
No TPTP formula. May not be expressible in strict first order. Merge.kif 8816-8816 MorningFn e' uma instancia de funcao Unaria
No TPTP formula. May not be expressible in strict first order. Merge.kif 8819-8819 O contra-dominio de MorningFn e' uma instancia de Morning

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 8824-8829


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