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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WeekFn

 Sigma KEE - WeekFn
WeekFn

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 8954-8957
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1522-1524
No TPTP formula. May not be expressible in strict first order. Merge.kif 8950-8950 域 WeekFn, 1 and PositiveInteger
No TPTP formula. May not be expressible in strict first order. Merge.kif 8951-8951 域子類 WeekFn, 2 and 年
No TPTP formula. May not be expressible in strict first order. Merge.kif 8948-8948 例 WeekFn and BinaryFunction
No TPTP formula. May not be expressible in strict first order. Merge.kif 8949-8949 例 WeekFn and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8947-8947 例 WeekFn and TemporalRelation
No TPTP formula. May not be expressible in strict first order. Merge.kif 8952-8952 範圍子類 WeekFn and Week

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4982-4982
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4981-4981
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4980-4980
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 65728-65728

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