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 30553-30553	相反的屬性 DeviceDamaged and DeviceNormal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30554-30558	相反的屬性 DeviceDamaged and DeviceNormal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30552-30552	例 DeviceDamaged and InternalAttribute

appearance as argument number 2

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

domainEnglishFormat.kif 64785-64785

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30573-30578	attribute Object and DeviceDamaged 有目的 Object and Formula 模態屬性 Formula and 可能性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3911-3921	能力 Process, CaseRole and Object 例 Object and Device attribute Object and DeviceDamaged 模態屬性 entity 例 entity and Process CaseRole entity and Object and 可能性
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30560-30571	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 31182-31186	例 Object and DamagedVehicle 例 Object and 車輛 attribute Object and DeviceDamaged
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31167-31175	例 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