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 EFScaleAttribute est une sous-classe de SpeedScaleAttribute

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2145-2145 EF0 est une instance de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2153-2153 EF1 est une instance de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2161-2161 EF2 est une instance de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2169-2169 EF3 est une instance de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2177-2177 EF4 est une instance de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2185-2185 EF5 est une instance de EFScaleAttribute
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