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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 e' uma sub-classe de SpeedScaleAttribute

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


No TPTP formula. May not be expressible in strict first order. Weather.kif 2145-2145 EF0 e' uma instancia de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2153-2153 EF1 e' uma instancia de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2161-2161 EF2 e' uma instancia de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2169-2169 EF3 e' uma instancia de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2177-2177 EF4 e' uma instancia de EFScaleAttribute
No TPTP formula. May not be expressible in strict first order. Weather.kif 2185-2185 EF5 e' uma instancia 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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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