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 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 731-731	域後繼屬性關閉, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 726-726	例後繼屬性關閉 and BinaryPredicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 728-728	例後繼屬性關閉 and IrreflexiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 729-729	例後繼屬性關閉 and PartialValuedRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	例後繼屬性關閉 and TransitiveRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 732-732	相關的內部概念後繼屬性關閉 and 繼承屬性

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 and HotTemperature
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1091-1091	後繼屬性關閉 ConventionalAttribute and UnconventionalAttribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 989-989	後繼屬性關閉 StandardRoom and Suite