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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConstantQuantity
ConstantQuantity(Quantidade Constante)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1768-1778
No TPTP formula. May not be expressible in strict first order. Merge.kif 2047-2065
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 379-390
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9103-9103
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8437-8437
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9106-9106
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9107-9107
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9104-9104
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9105-9105
No TPTP formula. May not be expressible in strict first order. Merge.kif 2045-2045 Quantidade Constante e' uma sub-classe de Quantidade Fisica

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 2026-2026 O conceito Quantidade Fisica e' completamente decomposto em Quantidade Constante + Funcao de Quantidade
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1320-1320 O contra-dominio de CPUUtilizationFn e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6586-6586 Os valores retornados por IntervalFn sao as sub-classes de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6314-6314 Medida de Angulo e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6302-6302 Medida de Divisa e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 7412-7412 Medida de Informacao e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6243-6243 Medida de Comprimento e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6254-6254 Medida de Massa e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6217-6217 NonCompositeUnitOfMeasure e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 849-849 RadiationMeasure e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6290-6290 Medida de Temperatura e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 2067-2067 Medida Temporal e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 1401-1401 waveHeight e' uma sub-classe de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 876-876
No TPTP formula. May not be expressible in strict first order. english_format.kif 954-954
No TPTP formula. May not be expressible in strict first order. french_format.kif 552-552
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 82-82
No TPTP formula. May not be expressible in strict first order. terms-it.txt 85-85
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2237-2237
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 504-504
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 119-119
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 573-573
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 86-86

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6584-6584 O argumento numero 1 de IntervalFn e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Merge.kif 6585-6585 O argumento numero 2 de IntervalFn e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Geography.kif 2073-2073 O argumento numero 2 de arableLandArea e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 1206-1206 O argumento numero 3 de averagePrecipitationForPeriod e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 6676-6676 O argumento numero 2 de capacity e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24419-24419 O argumento numero 1 de distanceOnPath e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1737-1737 O argumento numero 2 de hearingAcuity e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Medicine.kif 1738-1738 O argumento numero 3 de hearingAcuity e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 251-251 O argumento numero 2 de highAltitudeWindSpeed e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2130-2130 O argumento numero 2 de hostJitter e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Geography.kif 2210-2210 O argumento numero 2 de irrigatedLandArea e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13756-13756 O argumento numero 2 de loudness e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2930-2930 O argumento numero 2 de measurementReading e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 228-228 O argumento numero 2 de mediumAltitudeWindSpeed e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1663-1663 O argumento numero 2 de memorySize e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Geography.kif 2156-2156 O argumento numero 2 de otherLandUseArea e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Geography.kif 2117-2117 O argumento numero 2 de permanentCropLandArea e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 1197-1197 O argumento numero 2 de precipitationAmount e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1195-1195 O argumento numero 2 de qoSSlack e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1196-1196 O argumento numero 3 de qoSSlack e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 960-960 O argumento numero 2 de seaSurfaceTemperature e' uma instancia de Quantidade Constante
No TPTP formula. May not be expressible in strict first order. Weather.kif 1215-1215 O argumento numero 3 de totalPrecipitationForPeriod e' uma instancia de Quantidade Constante

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 6232-6236


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