Fabric - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15880-15880	织品和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3609-3611
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15881-15886
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15879-15879	织品是人工制品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1886-1886	织品是织物厂的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5431-5431	毯是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5450-5450	棉织物是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15167-15167	窗帘是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5374-5374	皮革是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5416-5416	口袋是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5346-5346	地毯是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5387-5387	丝是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5360-5360	毛巾是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5402-5402	羊毛是织品的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1054-1054
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1319-1319
No TPTP formula. May not be expressible in strict first order.	french_format.kif 732-732
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 263-263
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 266-266
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2416-2416
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 684-684
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 268-268
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 302-302
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 753-753
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 267-267

antecedent

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

Mid-level-ontology.kif 25264-25275

如果过程是 Ironing 的 instance 和客体是那个过程的 patient 和另一个客体是那个客体的 part 和那个另外客体是织品的 instance，
然后有存在那个过程RON 和另一个过程这样那个另外过程是加热的 instance 和那个过程RON 是那个另外过程的 patient 和那个过程RON 是 FabricIron 的 instance 和那个过程RON 是导致那个过程的 instrument

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 2457-2475	如果群体是机构的 instance 和皮革及相关产品制造是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是制造的 instance 和那个实体是服装的 instance 或那个实体是织品的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 1944-1960	如果群体是机构的 instance 和纺织厂是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是制造的 instance 和那个实体是织品的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	naics.kif 2085-2101	如果群体是机构的 instance 和纺织产品厂是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体，那个过程2， and 和那个施事体2 这样那个施事体是制造的 instance 和那个实体是织品的 instance 和那个实体是那个施事体的 patient 和那个过程2 是那个群体的 member 和那个施事体2 是出售的 instance 和那个过程2 是那个施事体2 的 agent 和那个实体是那个施事体2 的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25202-25213	如果物理是 IroningBoard 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是 Ironing 的 instance 和那个第三实体是那个实体的 patient 和那个另外实体是那个第三实体的 part 和那个另外实体是织品的 instance 和那个第三实体在那个物理的上在那个实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15905-15912	如果实体是服装的 instance，然后有存在另一个实体这样那个另外实体是织品的 instance 和那个另外实体是那个实体的 part 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13255-13260	如果客体是旗的 instance，然后有存在另一个客体这样那个另外客体是织品的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5619-5621	如果客体是针线活的 instance，然后那个客体能够担当受事的角色做织品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5612-5617	如果过程是针线活的 instance，然后有存在实体这样那个实体是织品的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3655-3657	如果躯体性物体是串的 instance，然后织品是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26347-26353	如果躯体性物体是 Sail 的 instance，然后有存在客体这样织品是那个躯体性物体的材料和那个客体是桅杆的 instance 和那个躯体性物体和那个客体是 connected
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4230-4237	如果客体是胶带的 instance，然后有存在另一个客体这样那个另外客体是那个客体的 part 和那个另外客体是纸的 instance 或那个另外客体是织品的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6823-6828	如果客体是帐篷的 instance，然后有存在另一个客体这样那个另外客体是织品的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4127-4129	如果躯体性物体是 BedLinen 的 instance，然后织品是那个躯体性物体的材料
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	如果躯体性物体是 Hammock 的 instance，然后织品是那个躯体性物体的材料和有存在客体，另一个客体， and 和第三客体这样那个客体在那个另外客体的近和那个客体和那个躯体性物体是 connected 和那个另外客体和那个躯体性物体是 connected 和那个第三客体是土地面积的 instance 和那个躯体性物体是 located 在那个第三客体和那个躯体性物体在那个第三客体的以上
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3667-3673	如果客体是 SeatBelt 的 instance，然后有存在躯体性物体这样那个躯体性物体是那个客体的 part 和易弯的是那个躯体性物体的 attribute 和织品是那个躯体性物体的材料

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

KB Term:			Term intersection

English Word: