Clothing - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15923-15923	服装和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3614-3615
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15924-15925
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 351-351
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15922-15922	服装是可穿戴物品的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5052-5052	围裙是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5067-5067	带是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5095-5095	披风是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5106-5106	领是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5291-5291	连衣裙是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5129-5129	手套是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5144-5144	帽子是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5099-5099	Mask 是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 415-415	Oqal 是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5038-5038	户外服装是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5319-5319	睡衣是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3562-3562	SafetyVest 是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5256-5256	衬衫是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5178-5178	鞋是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5267-5267	袖是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5241-5241	袜子是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5081-5081	领带服装是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5163-5163	长裤是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26673-26673	UniformClothing 是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5470-5470	面纱是服装的 subclass
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1055-1055
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1321-1321
No TPTP formula. May not be expressible in strict first order.	french_format.kif 733-733
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 264-264

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15936-15943	如果物理是服装的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是动物的 instance 和那个另外实体是那个实体的 part 和 covers 那个物理 and 那个另外实体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15927-15934	如果实体是服装的 instance，然后有存在另一个实体这样那个另外实体是织品的 instance 和那个另外实体是那个实体的 part 的声明 has 容易的语气

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30166-30176	实体是身体部位的 instance 和 Bare 是那个实体的 attribute 在时间位置 holdsDuring 若且唯若不存在另一个实体这样那个另外实体是服装的 instance 和 covers 那个另外实体 and 那个实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30133-30141	Naked 是实体的 attribute 在时间位置 holdsDuring 若且唯若不存在另一个实体这样那个另外实体是服装的 instance 和那个实体 wears 那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5502-5517	如果过程是调味料的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个实体是服装的 instance 和那个施事体 doesn't wears 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体 wears 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	naics.kif 2194-2210	如果群体是机构的 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 7509-7521	如果群体是机构的 instance 和服装和服饰配件商店是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体这样那个施事体是出售的 instance 和那个实体是服装的 instance 和那个实体是那个施事体的 patient
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.	Mid-level-ontology.kif 5071-5079	如果动物 wears 可穿戴物品和那个可穿戴物品是带的 instance，然后有存在另一个可穿戴物品这样那个另外可穿戴物品是服装的 instance 和那个动物 wears 那个另外可穿戴物品和那个可穿戴物品接上那个另外可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30148-30161	如果 Clothed 是实体的 attribute 在时间位置 holdsDuring，然后不存在另一个实体这样那个另外实体是繁殖体的 instance 和那个另外实体是那个实体的 part 和不存在第三实体这样那个第三实体是服装的 instance 和 covers 那个第三实体 and 那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4264-4270	如果物理是按键的 instance，然后那个物理的目的是有存在实体这样那个实体是服装的 instance 和那个物理是那个实体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5419-5424	如果客体是口袋的 instance，然后有存在另一个客体这样那个另外客体是服装的 instance 和那个客体是那个另外客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5622-5624	如果客体是针线活的 instance，然后那个客体能够担当受事的角色做服装
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1809-1819	如果过程是 DryCleaningService 的 instance，然后有存在实体，客体， and 和另一个客体这样那个实体是服装的 instance 和那个客体不是导致那个过程的 instrument 和那个客体是水的 instance 和那个另外客体是化学产品的 instance 和那个另外客体是导致那个过程的 instrument 和那个实体是那个过程的 patient 和 Clean 是那个实体的 attribute 是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1785-1802	如果过程是 LaundryService 的 instance，然后有存在实体，另一个过程,，，第三过程， and 和第四过程这样那个实体是服装的 instance 和那个实体是那个过程的 patient 和那个另外过程%n是那个过程的subProcess 和那个另外过程是洗涤的 instance 和那个实体是那个另外过程的 patient 和 Clean 是那个实体的 attribute 是那个另外过程的 result 和那个第三过程%n是那个过程的subProcess 和那个第三过程是烘干的 instance 和那个实体是那个第三过程的 patient 和那个第四过程是 Ironing 的 instance 和那个第四过程%n是那个过程的subProcess 和那个实体是那个第四过程的 patient 和那个另外过程出现的 time 的开始%n在那个第三过程出现的 time 的开始before发生和那个第三过程出现的 time 的开始%n在那个第四过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1827-1848	如果过程是 ValetLaundryService 的 instance，然后有存在人类，施事体,，，暂住,，，实体,，，另一个过程,，，第三过程， and 和第四过程这样那个施事体是那个人类的 customer 和那个人类 stays 在那个暂住和那个施事体是那个过程的 agent 和那个实体是服装的 instance 和那个第三过程是获得的 instance 和那个第三过程是 located 在那个暂住和那个实体是那个第三过程的 patient 和那个施事体是那个第三过程的 agent 和那个另外过程是 LaundryService 的 instance 或那个另外过程是 DryCleaningService 的 instance 和那个施事体是那个另外过程的 agent 和那个实体是那个另外过程的 patient 和那个第四过程是 DeliveryService 的 instance 和那个实体是那个第四过程的 patient 和那个第四过程在那个暂住结束和那个第三过程出现的 time 的开始%n在那个另外过程出现的 time 的开始before发生和那个另外过程出现的 time 的开始%n在那个第四过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1856-1863	如果过程是 IroningService 的 instance，然后有存在另一个过程和实体这样那个实体是服装的 instance 和那个另外过程是 Ironing 的 instance 和那个实体是那个另外过程的 patient 和那个另外过程%n是那个过程的subProcess

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: