Maintaining - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Maintaining

Maintaining

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3145-3146
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12242-12243
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12241-12241	子類 Maintaining and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12246-12246	相關的內部概念 Repairing and Maintaining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20837-20837	子類農業 and Maintaining
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1865-1865	子類 ChildCareService and Maintaining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5550-5550	子類清潔的 and Maintaining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18416-18416	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1156-1156
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1529-1529
No TPTP formula. May not be expressible in strict first order.	french_format.kif 834-834
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 366-366
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 369-369
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2518-2518
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 786-786
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 371-371
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 405-405
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 855-855
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 370-370

consequent

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1619-1630	例 Object and 盔甲部分 Object and Object 空間的符合 Object and Object 有目的 Object and entity 例 entity and Maintaining 儀器 entity and Object 體驗者 entity and Object
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	例 Process and 疏散起源 Process and Object agent Process and Organization Process ProcessA 例 Process and Maintaining Process 是 located 在 Object 子過程 Process and Process 子組織 ProcessA and Organization 會員 ProcessA and Organization 等於 ProcessA and Organization agent Process and ProcessA
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1943-1955	例 Process and 外國內部防禦 agent Process and 軍事組織 GeopoliticalArea 是軍事組織的 military 區域 AutonomousAgent Process 體驗者 Process and AutonomousAgent 例 AutonomousAgent and 主辦國等於 AutonomousAgent and GeopoliticalArea 例 Process and Maintaining agent Process and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	例 Collection and Organization attribute Collection and 農業林業捕魚和狩獵 Process AutonomousAgent 會員 AutonomousAgent and Collection agent Process and AutonomousAgent Entity Process and AutonomousAgent 例 Process and Killing 例 Process and Maintaining 患者 Process and Entity 例 Entity and Animal 例 Entity and Plant 例 Entity and Human 會員 AutonomousAgent and Collection 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8525-8535	例 Organization and 安全部門子組織 Organization and Organization 持有義務 entity 例 entity and Maintaining agent entity and Organization 患者 entity and Organization and Organization
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	例 EngineeringComponent and BabyMonitoringSystem EngineeringComponent EngineeringComponent 例 EngineeringComponent and 無線電接收器例 EngineeringComponent and Device 工程子組件 EngineeringComponent and EngineeringComponent 工程子組件 EngineeringComponent and EngineeringComponent 有目的 EngineeringComponent and entity entity, entity, entity, entity, entity and entity 例 entity and 人類寶貝例 entity and Human 位於 entity and entity 位於 entity and entity 等於 entity and entity 例 entity and Maintaining 患者 entity and entity agent entity and entity 位於 EngineeringComponent and entity 位於 EngineeringComponent and entity 例 entity and RadiatingSound entity 是 located 在 entity 例 entity and 無線電發射患者 entity and entity 目的地 entity and EngineeringComponent agent entity and EngineeringComponent

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