DeviceDamaged - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DeviceDamaged

DeviceDamaged

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29426-29426	相反的屬性 DeviceDamaged and DeviceNormal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29427-29431
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29425-29425	例 DeviceDamaged and InternalAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

domainEnglishFormat.kif 64762-64762

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29446-29451	attribute Object and DeviceDamaged 有目的 Object and Formula 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29433-29444	attribute Object and DeviceDamaged ObjectAM 例 ObjectAM and Damaging 患者 ObjectAM and Object Process 例 Process and Repairing 患者 Process and Object 早期何時 ObjectAM and 何時 Process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30082-30086	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30067-30075	例 Process and Damaging 例 Entity and Device 患者 Process and Entity 持有期間眼前的未來何時 Process and attribute Entity and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	持有期間 TimePosition and maxDeviceOperatingTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備上測量 TimePosition and entity 是 entity 的 air 溫度比較多 TimePosition and TimePosition 模態屬性持有期間眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	持有期間 TimePosition and maxDeviceStorageTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備關閉測量 TimePosition and entity 是 entity 的 air 溫度比較多 TimePosition and TimePosition 模態屬性持有期間眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	持有期間 TimePosition and minDeviceOperatingTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備上測量 TimePosition and entity 是 entity 的 air 溫度少於 TimePosition and TimePosition 模態屬性持有期間眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	持有期間 TimePosition and minDeviceStorageTemp entity and 測量 TimePosition and entity 例 entity and UnitOfTemperature 位於 entity and entity attribute entity and 設備關閉測量 TimePosition and entity 是 entity 的 air 溫度少於 TimePosition and TimePosition 模態屬性持有期間眼前的未來 TimePosition and attribute entity and DeviceDamaged and 容易

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