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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EFScaleAttribute

 Sigma KEE - EFScaleAttribute
EFScaleAttribute(改良藤田级数)

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2080-2082
No TPTP formula. May not be expressible in strict first order. Weather.kif 2075-2079
No TPTP formula. May not be expressible in strict first order. Weather.kif 2084-2084 改良藤田级数 是 时速级数属性 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2145-2145 改良藤田0 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2153-2153 改良藤田1 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2161-2161 改良藤田2 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2169-2169 改良藤田3 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2177-2177 改良藤田4 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. Weather.kif 2185-2185 改良藤田5 是 改良藤田级数 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10349-10349
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10347-10347
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10348-10348

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2086-2090
No TPTP formula. May not be expressible in strict first order. Weather.kif 2092-2110


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