TreeView Knowledge Base Browser - successorAttributeClosure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1538-1540
No TPTP formula. May not be expressible in strict first order.	Merge.kif 734-737
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 104-106
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 122-124
No TPTP formula. May not be expressible in strict first order.	Merge.kif 730-730	后续属性闭包的 1 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 731-731	后续属性闭包的 2 数量是属性的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 726-726	后续属性闭包是二元谓语的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 728-728	后续属性闭包是非自反关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 729-729	后续属性闭包是部分值关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	后续属性闭包是传递关系的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 732-732	后续属性闭包和后续属性是内部相关

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 325-325
No TPTP formula. May not be expressible in strict first order.	english_format.kif 330-330
No TPTP formula. May not be expressible in strict first order.	french_format.kif 185-185
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 287-287
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2005-2005
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 137-137
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 196-196
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 428-428
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 324-324
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 205-205
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 195-195
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 479-479
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55891-55891
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 326-326
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55890-55890
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55889-55889

antecedent

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

Merge.kif 14337-14344

consequent

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

Merge.kif 739-741

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25702-25702	ColdTemperature 是 HotTemperature 的后续属性
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1091-1091	ConventionalAttribute 是 UnconventionalAttribute 的后续属性
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 989-989	StandardRoom 是 Suite 的后续属性