TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1504-1506
No TPTP formula. May not be expressible in strict first order.	Merge.kif 459-462
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 68-70
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 78-81
No TPTP formula. May not be expressible in strict first order.	Merge.kif 457-457	相反属性的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 455-455	相反属性是谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 456-456	相反属性是不定次元关系的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 283-283
No TPTP formula. May not be expressible in strict first order.	english_format.kif 288-288
No TPTP formula. May not be expressible in strict first order.	french_format.kif 164-164
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 58-58
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1984-1984
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 116-116
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 367-367
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 99-99
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 184-184
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 171-171
No TPTP formula. May not be expressible in strict first order.	relations-cb.txt 92-92
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 284-284
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17010-17010
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17009-17009
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17008-17008
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 114-114
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 133-133

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 476-484	如果 @ROW 是的相反和属性 equal (@ROW) 的第正整数几个元素和另一个属性 equal (@ROW) 的第另一个正整数几个元素和那个正整数不 equal 那个另外正整数和另一个实体有那个属性的 attribute，然后那个另外实体不有那个另外属性的 attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 470-474	如果 @ROW1 是的相反和 (@ROW2) 是 (@ROW1) 的 identical 清单项目，然后 @ROW2 是的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14979-14990	如果客体是动物的 instance 和另一个客体是 BodySideFn AntiSymmetricPositionalAttribute and 有点身体部位的 instance 和那个 AntiSymmetricPositionalAttribute 是那个 AntiSymmetricPositionalAttributeO 的相反和 Healthy 是那个客体的 attribute，然后有存在那个另外客体O 这样那个另外客体O 是 BodySideFn 那个 AntiSymmetricPositionalAttributeO and 有点身体部位的 instance 和那个另外客体在那个另外客体O 的那个 AntiSymmetricPositionalAttribute
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2332-2343	如果时距是 BringingGEToFront 的 instance 和实体是那个时距的 patient 和那个实体是 InterfaceWindow 的 instance 和那个实体有 state 属性在那个时距的开始 holdsDuring 和那个属性是 GUE_UncoveredState 的相反，然后不那个实体有 state 那个属性在那个时距的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16921-16929	如果客体在另一个客体的位置属性和 @ROW 是的相反和那个位置属性是 (@ROW) 的 member 和另一个位置属性是 (@ROW) 的 member 和那个位置属性不 equal 那个另外位置属性，然后那个客体不在那个另外客体的那个另外位置属性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 464-468	如果 @ROW 是的相反，然后如果另一个实体是 (@ROW) 的 member，然后那个另外实体是属性的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 470-474	如果 @ROW1 是的相反和 (@ROW2) 是 (@ROW1) 的 identical 清单项目，然后 @ROW2 是的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18143-18145	如果位置属性是另一个位置属性的 opposite 方向，然后那个另外位置属性是那个位置属性的相反

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Merge.kif 17073-17073	以上是下面的相反
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4475-4475	AccountDeactivated 是 AccountActive 的相反
No TPTP formula. May not be expressible in strict first order.	Food.kif 2803-2803	AcidicPH 是 BasicPH 的相反
No TPTP formula. May not be expressible in strict first order.	emotion.kif 522-522	AppraisalAsBeingDisliked 是 AppraisalAsBeingLiked 的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13607-13607	听得见是 Inaudible 的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 336-336	威权政权是多党民主的相反
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 391-391	宽规是标准规的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22232-22232	平民是军人的相反
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4960-4960	Clockwise 是 CounterClockwise 的相反
No TPTP formula. May not be expressible in strict first order.	engineering.kif 675-675	电导率是抵抗力的相反
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 435-435	Conscious 是无意识的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1638-1638	容器满了是空容器的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18093-18093	死是活的的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 29438-29438	DeviceDamaged 是 DeviceNormal 的相反
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3644-3644	设备上是设备关闭的相反
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3645-3645	设备打开是设备关闭的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25572-25572	Dirty 是 Clean 的相反
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8656-8656	下药是清醒的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17991-17991	干是潮湿的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18190-18190	胚胎是幼虫的相反
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16985-16985	假是真正的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 285-285	联邦政府是威权政权的相反
No TPTP formula. May not be expressible in strict first order.	Government.kif 284-284	联邦政府是统一规则的相反
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1849-1849	FeelingAlert 是 FeelingTired 的相反
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1782-1782	FeelingAtEase 是 FeelingRestless 的相反

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: