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	Le nombre 1 argument de successorAttributeClosure est une instance de attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 731-731	Le nombre 2 argument de successorAttributeClosure est une instance de attribut
No TPTP formula. May not be expressible in strict first order.	Merge.kif 726-726	successorAttributeClosure est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	Merge.kif 728-728	successorAttributeClosure est une instance de relation irr�flexive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 729-729	successorAttributeClosure est une instance de relation partielle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 727-727	successorAttributeClosure est une instance de relation transitive
No TPTP formula. May not be expressible in strict first order.	Merge.kif 732-732	successorAttributeClosure est reli� � l'int�rieur de SUMO � successorAttribute

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 est un attribut successeur de HotTemperature
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1091-1091	ConventionalAttribute est un attribut successeur de UnconventionalAttribute
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 989-989	StandardRoom est un attribut successeur de Suite