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 12220-12221
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12219-12219	维护是有意图过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12224-12224	修理和维护是内部相关
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20838-20838	农业是维护的 subclass
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1865-1865	ChildCareService 是维护的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5551-5551	清洁的是维护的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18417-18417	Protecting 是维护的 subclass
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	如果客体是盔甲的 instance 和那个客体是另一个客体的 part 或那个客体接上那个另外客体，然后那个客体的目的是有存在实体这样那个实体是维护的 instance 和那个客体是导致那个实体的 instrument 和那个另外客体经历了那个实体
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 2573-2587	如果过程是疏散的 instance 和客体是那个过程的源头和机构是那个过程的 agent，然后有存在另一个过程和那个另外过程A 这样那个另外过程是维护的 instance 和那个另外过程是 located 在那个客体和那个另外过程%n是那个过程的subProcess 和那个另外过程A 是那个机构 Organization 的一部分或那个另外过程A 是那个机构的 member 或那个另外过程A equal 那个机构和那个另外过程A 是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1943-1955	如果过程是外国内部防御的 instance 和军事组织是那个过程的 agent 和地缘政治区域是那个军事组织的 military 区域，然后有存在施事体和另一个过程这样那个施事体经历了那个过程和那个施事体是主办国的 instance 和那个施事体不 equal 那个地缘政治区域和那个另外过程是维护的 instance 和那个施事体是那个另外过程的 agent
No TPTP formula. May not be expressible in strict first order.	naics.kif 50-72	如果群体是机构的 instance 和农业林业捕鱼和狩猎是那个群体的 attribute，然后有存在过程和施事体这样那个施事体是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个过程是杀害的 instance 或那个过程是维护的 instance 和那个实体是那个过程的 patient 和那个实体是动物的 instance 或那个实体是植物的 instance 和那个实体不是人类的 instance 和那个施事体2 是那个群体的 member 和那个过程2 是出售的 instance 和那个施事体2 是那个过程2 的 agent 和那个实体是那个过程2 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8526-8536	如果机构是安全部门的 instance 和那个机构是另一个机构 Organization 的一部分，然后那个机构有义务执行有存在实体这样那个实体是维护的 instance 和那个机构是那个实体的 agent 和那个另外机构是那个实体的 patient 的任务
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	如果工程组件是 BabyMonitoringSystem 的 instance，然后有存在另一个工程组件和第三工程组件这样那个第三工程组件是无线电接收器的 instance 和那个另外工程组件是设备的 instance 和那个第三工程组件是那个工程组件的 component 和那个另外工程组件是那个工程组件的 component 和那个工程组件的目的是有存在实体，另一个实体,，，第三实体,，，第四实体,，，第五实体,，，第六实体， and 和第七实体这样那个实体是人类宝贝的 instance 和那个另外实体是人类的 instance 和那个实体是 located 在那个第四实体和那个另外实体是 located 在那个第五实体和那个第四实体不 equal 那个第五实体和那个第六实体是维护的 instance 和那个实体是那个第六实体的 patient 和那个另外实体是那个第六实体的 agent 和那个另外工程组件是 located 在那个第四实体和那个第三工程组件是 located 在那个第五实体和那个第三实体是放射声音的 instance 和那个第三实体是 located 在那个第四实体和那个第七实体是无线电发射的 instance 和那个第三实体是那个第七实体的 patient 和那个第七实体在那个第三工程组件结束和那个另外工程组件是那个第七实体的 agent

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