TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3616-3617
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15926-15927
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15924-15924	穿戴的 1 数量是动物的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15925-15925	穿戴的 2 数量是可穿戴物品的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15923-15923	穿戴是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 796-796
No TPTP formula. May not be expressible in strict first order.	english_format.kif 802-802
No TPTP formula. May not be expressible in strict first order.	french_format.kif 479-479
No TPTP formula. May not be expressible in strict first order.	english_format.kif 803-803
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 431-431
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 501-501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62601-62601
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 797-797
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62600-62600
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62599-62599

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5043-5051	如果实体是户外服装的 instance 和另一个实体 wears 那个实体在时间位置 holdsDuring，然后不存在第三实体这样那个第三实体是建筑物的 instance 和那个另外实体是 located 在那个第三实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5296-5300	如果可穿戴物品是连衣裙的 instance 和动物 wears 那个可穿戴物品，然后那个动物是女人的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 510-516	如果可穿戴物品是 Earphone 的 instance 和动物 wears 那个可穿戴物品和客体是头的 instance 和那个客体是那个动物的 part，然后那个可穿戴物品是 located 在那个客体
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3447-3476	如果可穿戴物品是听力保护的 instance 和动物是人类的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生和那个可穿戴物品是导致那个实体的 instrument
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 151-163	如果动物是 ihram服装的 instance 和那个动物 wears 可穿戴物品和男是那个可穿戴物品的 attribute，然后有存在物理，另一个物理， and 和第三物理这样那个物理是披风的 instance 和那个另外物理是带的 instance 和那个第三物理是檀香的 instance 和那个物理是那个动物的 member 和那个另外物理是那个动物的 member 和那个第三物理是那个动物的 member
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3389-3417	如果可穿戴物品是安全套的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是过程的 instance 和那个可穿戴物品是导致那个实体的 instrument 和那个动物是那个实体的 patient 和那个另外实体是那个第三实体所描述的类别的 subclass 和那个实体 prevents 那个另外实体的发生
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5262-5266	如果可穿戴物品是衬衫的 instance 和动物 wears 那个可穿戴物品，然后那个动物是人类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5306-5314	如果群体是服装套装的 instance 和物理是那个群体的 member 和实体 wears 那个物理在时间位置 holdsDuring，然后对所有另一个物理如果那个另外物理是那个群体的 member，然后那个实体 wears 那个另外物理在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	如果群体是 Outfit 的 instance 和物理是那个群体的 member 和实体 wears 那个物理在时间位置 holdsDuring，然后对所有另一个物理如果那个另外物理是那个群体的 member，然后那个实体 wears 那个另外物理在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	如果可穿戴物品是呼吸器的 instance 和动物是动物的 instance 和那个动物 wears 那个可穿戴物品，然后那个可穿戴物品的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体是过程的 instance 和那个可穿戴物品是导致那个第三实体的 instrument 和那个第三实体 prevents 那个另外实体的发生和那个另外实体是那个第四实体所描述的类别的 subclass
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15933-15937	如果动物 wears 可穿戴物品和另一个可穿戴物品是那个可穿戴物品的 part，然后那个动物 wears 那个另外可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5169-5177	如果动物 wears 自身连接物体和那个自身连接物体是长裤的 instance，然后有存在客体这样那个客体是腿的 instance 和那个客体是那个动物的 part 和那个自身连接物体 contains 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	如果动物 wears 可穿戴物品和那个可穿戴物品是带的 instance，然后有存在另一个可穿戴物品这样那个另外可穿戴物品是服装的 instance 和那个动物 wears 那个另外可穿戴物品和那个可穿戴物品接上那个另外可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5120-5128	如果动物 wears 可穿戴物品和那个可穿戴物品是领的 instance，然后有存在客体这样那个客体是颈部的 instance 和那个客体是那个动物的 part 和那个可穿戴物品接上那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2897-2904	如果动物 wears 可穿戴物品和那个可穿戴物品是 located 在客体和那个可穿戴物品是时钟的 instance 和那个客体是腕的 instance 和那个客体是那个动物的 part，然后那个可穿戴物品是钟表的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5135-5143	如果动物 wears 可穿戴物品和那个可穿戴物品是手套的 instance，然后有存在客体这样那个客体是手的 instance 和那个客体是那个动物的 part 和那个可穿戴物品接上那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5273-5281	如果动物 wears 自身连接物体和那个自身连接物体是袖的 instance，然后有存在客体这样那个客体是臂的 instance 和那个客体是那个动物的 part 和那个自身连接物体 contains 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5247-5255	如果动物 wears 自身连接物体和那个自身连接物体是袜子的 instance，然后有存在客体这样那个客体是足的 instance 和那个客体是那个动物的 part 和那个自身连接物体 contains 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5086-5094	如果动物 wears 自身连接物体和那个自身连接物体是领带服装的 instance，然后有存在客体这样那个客体是颈部的 instance 和那个客体是那个动物的 part 和那个自身连接物体 contains 那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5150-5158	如果动物 wears 可穿戴物品和那个可穿戴物品是帽子的 instance，然后有存在客体这样那个客体是头的 instance 和那个客体是那个动物的 part 和那个可穿戴物品接上那个客体
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5184-5192	如果动物 wears 可穿戴物品和那个可穿戴物品是鞋的 instance，然后有存在客体这样那个客体是足的 instance 和那个客体是那个动物的 part 和那个可穿戴物品接上那个客体
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15929-15931	如果动物 wears 可穿戴物品，然后那个可穿戴物品是 located 在那个动物

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30132-30140	Barefoot 是实体的 attribute 在时间位置 holdsDuring 若且唯若不存在另一个实体这样那个另外实体是鞋的 instance 和那个实体 wears 那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30145-30153	Naked 是实体的 attribute 在时间位置 holdsDuring 若且唯若不存在另一个实体这样那个另外实体是服装的 instance 和那个实体 wears 那个另外实体在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5503-5518	如果过程是调味料的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个实体是服装的 instance 和那个施事体 doesn't wears 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体 wears 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5538-5549	如果过程是脱衣服的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient，然后那个施事体 wears 那个实体在那个过程出现的 time 的开始 holdsDuring 和那个施事体 doesn't wears 那个实体在那个过程出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5306-5314	如果群体是服装套装的 instance 和物理是那个群体的 member 和实体 wears 那个物理在时间位置 holdsDuring，然后对所有另一个物理如果那个另外物理是那个群体的 member，然后那个实体 wears 那个另外物理在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Dining.kif 469-479	如果群体是 Outfit 的 instance 和物理是那个群体的 member 和实体 wears 那个物理在时间位置 holdsDuring，然后对所有另一个物理如果那个另外物理是那个群体的 member，然后那个实体 wears 那个另外物理在那个时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15933-15937	如果动物 wears 可穿戴物品和另一个可穿戴物品是那个可穿戴物品的 part，然后那个动物 wears 那个另外可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5072-5080	如果动物 wears 可穿戴物品和那个可穿戴物品是带的 instance，然后有存在另一个可穿戴物品这样那个另外可穿戴物品是服装的 instance 和那个动物 wears 那个另外可穿戴物品和那个可穿戴物品接上那个另外可穿戴物品
No TPTP formula. May not be expressible in strict first order.	Dining.kif 492-505	如果施事体要求顾客去穿 AmbienceAttribute ，然后有存在实体和另一个实体这样那个实体是 Outfit 的 instance 和那个施事体 believes 那个实体是那个 AmbienceAttribute 和对所有第三实体和第四实体那个施事体是那个第三实体的 customer 和那个第三实体对于那个施事体在时间那个另外实体 located 和那个第四实体是那个实体的 member 和那个第三实体 wears 那个第四实体在那个另外实体 holdsDuring 的声明 has 义务的语气
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 170-177	如果施事体经历了过程，然后有存在实体这样那个实体是 ihram服装的 instance 和那个施事体 wears 那个实体在那个过程出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26675-26683	如果群组有 uniform 有点 UniformClothing ，然后有存在实体，另一个实体， and 和第三实体这样那个实体是那个群组的 member 和那个另外实体是有点 UniformClothing 的 instance 和那个实体 wears 那个另外实体在那个第三实体 holdsDuring 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5057-5066	如果物理是围裙的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是烹饪的 instance 和那个实体是那个另外实体的 agent 和那个实体 wears 那个物理在那个另外实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 376-387	如果物理是 gutrah 的 instance，然后那个物理的目的是如果有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体 wears 那个物理在那个另外实体 holdsDuring 和那个第三实体是 located 在那个第四实体在那个另外实体 holdsDuring 和那个实体是在地区那个第四实体的 hot 季节，然后那个另外实体在那个实体时段内发生
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 399-410	如果物理是 shimagh 的 instance，然后那个物理的目的是如果有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个第三实体 wears 那个物理在那个另外实体 holdsDuring 和那个第三实体是 located 在那个第四实体在那个另外实体 holdsDuring 和那个实体是那个第四实体地区的 cold 季节，然后那个另外实体在那个实体时段内发生
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 533-539	如果物理是阿巴亚的 instance，然后那个物理的目的是有存在实体这样那个实体是女人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 450-456	如果物理是 dishdashah 的 instance，然后那个物理的目的是有存在实体这样那个实体是人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 502-508	如果物理是盖头的 instance，然后那个物理的目的是有存在实体这样那个实体是女人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 438-444	如果物理是 jallabiyyah 的 instance，然后那个物理的目的是有存在实体这样那个实体是人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 515-521	如果物理是 jilbab 的 instance，然后那个物理的目的是有存在实体这样那个实体是女人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 489-495	如果物理是 khimar 的 instance，然后那个物理的目的是有存在实体这样那个实体是女人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	ArabicCulture.kif 470-476	如果物理是面纱的 instance，然后那个物理的目的是有存在实体这样那个实体是女人的 instance 和那个实体 wears 那个物理
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4749-4759	如果物理是 MotorcycleGlove 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个第三实体是驾驶的 instance 和那个另外实体是那个第三实体的 agent 和那个实体是导致那个第三实体的 instrument 和那个实体是摩托车的 instance 和那个另外实体 wears 那个物理在那个第三实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4369-4380	如果物理是 MotorcycleHelmet 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是驾驶的 instance 和那个实体是那个另外实体的 agent 和那个第三实体是摩托车的 instance 和那个第三实体是那个另外实体的 patient 和那个实体是人类的 instance 和那个实体 wears 那个物理在那个另外实体出现的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3482-3509	如果物理是防护眼镜的 instance，然后那个物理的目的是如果有存在那个物理RSON 这样那个物理RSON 是人类的 instance 和那个物理RSON wears 那个物理，然后有存在另一个实体，第三实体,，，第四实体,，，第五实体， and 和第六实体这样那个另外实体是过程的 instance 和那个物理是导致那个另外实体的 instrument 和那个第四实体是那个第五实体所描述的类别的 subclass 和那个另外实体 prevents 那个第四实体的发生
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3511-3524	如果物理是防护眼镜的 instance，然后那个物理的目的是有存在那个物理RSON，另一个实体,，，第三实体， and 和第四实体这样那个物理RSON 是动物的 instance 和那个另外实体是面对的 instance 和那个第三实体是眼睛的 instance 和那个第三实体是那个另外实体的 properPart 和那个另外实体是那个物理RSON 的 properPart 和那个物理RSON wears 那个物理和那个第四实体是遮盖的 instance 和那个物理是那个第四实体的 agent 和那个另外实体是那个第四实体的 patient

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: