TreeView Knowledge Base Browser - DeviceDamaged

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 29438-29438	相反的屬性 DeviceDamaged and DeviceNormal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29439-29443
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29437-29437	例 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 29458-29463	attribute Object and DeviceDamaged 有目的 Object and Formula 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29445-29456	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 30094-30098	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30079-30087	例 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 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