TreeView Knowledge Base Browser - Attaching

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Attaching

Attaching(连接)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12348-12348	连接和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3163-3167
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12351-12358
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12349-12349	连接和放是内部相关
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12347-12347	连接是双受体过程的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 61-61	ApplyingTourniquet 是连接的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23965-23965	Fertilisation 是连接的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11504-11504	抓是连接的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5608-5608	针线活是连接的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5627-5627	焊接是连接的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5599-5599	打字是连接的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1165-1165
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1547-1547
No TPTP formula. May not be expressible in strict first order.	french_format.kif 843-843
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 375-375
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 378-378
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2527-2527
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 795-795
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 380-380
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 414-414
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 864-864
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 379-379

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4242-4248	如果客体是锚的 instance 和那个客体TTACH 是连接的 instance 和那个客体是导致那个客体TTACH 的 instrument 和实体是那个客体TTACH 的 patient，然后那个实体是水车的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12383-12397	如果过程是连接的 instance 和实体是那个过程的 patient 和另一个实体是那个过程的 patient 和那个实体和那个另外实体不是 connected 在那个过程出现的 time 的开始 holdsDuring 和那个实体和那个另外实体是 connected 在那个过程出现的 time 的结束 holdsDuring，然后 objectAttached 那个过程 and 那个实体和 objectAttached 那个过程 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12360-12367	如果过程是连接的 instance 和实体是那个过程的 patient 和另一个实体是那个过程的 patient，然后那个实体和那个另外实体不是 connected 在那个过程出现的 time 的开始 holdsDuring 和那个实体和那个另外实体是 connected 在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 853-875	如果客体是 VentedChestSeal 的 instance 和转移是连接的 instance 和 objectTransferred 那个转移 and 那个客体和那个转移在实体结束，然后那个客体的目的是有存在那个转移，另一个实体,，，第三实体， and 和那个实体这样那个转移是空气的 instance 和那个另外实体是肺的 instance 和那个第三实体是 Chest 的 instance 和那个另外实体是那个实体的 part 和那个第三实体是那个实体的 part 和那个转移是在那个另外实体和那个第三实体 between 在紧接那个转移出现的 time before holdsDuring 和那个客体的目的是那个转移在那个实体的外在紧接那个转移出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12369-12374	如果过程是连接的 instance，然后有存在实体这样那个实体是躯体性物体的 instance 和那个实体是那个过程的 patient

consequent

No TPTP formula. May not be expressible in strict first order.	Medicine.kif 44-59	如果过程是流血的的 instance 和实体是死亡的 instance 和公式是人类的 instance 和施事体是人类的 instance 和那个施事体经历了那个过程和那个公式在那个施事体的近和那个过程 causes 那个实体的声明 has 容易的语气，然后有存在另一个实体这样那个另外实体是连接的 instance 和那个公式是那个另外实体的 agent 和那个另外实体在那个施事体结束有义务执行那个公式的任务
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 420-431	如果过程是调味料的 instance 和物理是 oqal 的 instance 和实体是帽子的 instance 和那个物理是那个过程的 patient 和那个实体是那个过程的 patient，然后那个物理的目的是有存在另一个实体这样那个另外实体是连接的 instance 和那个物理是导致那个另外实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	如果 Tourniquet 是客体的 attribute 在那个客体IME holdsDuring，然后有存在施事体，过程， and 和转移这样那个施事体是人类的 instance 和那个过程是流血的的 instance 和那个转移是连接的 instance 和那个施事体经历了那个过程和那个转移在那个施事体结束和 objectTransferred 那个转移 and 那个客体和那个客体的目的是不存在那个过程2 这样那个过程2 是流血的的 instance 和紧接那个转移出现的 time after 时段和那个过程2 出现的 time 重叠和那个施事体经历了那个过程2
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4172-4180	如果物理是 Bolt 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是连接的 instance 和那个另外实体是 MechanicalNut 的 instance 和那个物理是导致那个实体的 instrument 和那个另外实体是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16016-16021	如果客体是附着装置的 instance，然后有存在过程这样那个过程是连接的 instance 和那个客体是导致那个过程的 instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8902-8908	如果物理是胶的 instance，然后那个物理的目的是有存在实体这样那个实体是连接的 instance 和那个物理是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4191-4199	如果物理是 MechanicalNut 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是连接的 instance 和那个另外实体是 Bolt 的 instance 和那个另外实体是导致那个实体的 instrument 和那个物理是导致那个实体的 instrument

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