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 12325-12326
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12324-12324	子類 Maintaining and IntentionalProcess

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12329-12329	相關的內部概念 Repairing and Maintaining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22462-22462	子類農業 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 6514-6514	子類清潔的 and Maintaining
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19995-19995	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1156-1156	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1529-1529	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	french_format.kif 834-834	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 366-366	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 369-369	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2518-2518	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 786-786	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 371-371	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 405-405	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 664-664	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 855-855	子類 Protecting and Maintaining
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 370-370	子類 Protecting and Maintaining

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 2605-2619	例 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 9752-9762	例 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