TreeView Knowledge Base Browser - successorAttribute

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1536-1537
No TPTP formula. May not be expressible in strict first order.	Merge.kif 707-709
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 102-103
No TPTP formula. May not be expressible in strict first order.	spanish_format.kif 119-121
No TPTP formula. May not be expressible in strict first order.	Merge.kif 704-704	域繼承屬性, 1 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 705-705	域繼承屬性, 2 and Attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 703-703	例繼承屬性 and AsymmetricRelation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 702-702	例繼承屬性 and BinaryPredicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 684-684	不相交的關係子屬性 and 繼承屬性
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 323-323
No TPTP formula. May not be expressible in strict first order.	english_format.kif 328-328
No TPTP formula. May not be expressible in strict first order.	french_format.kif 184-184
No TPTP formula. May not be expressible in strict first order.	relations-it.txt 286-286
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2004-2004
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 136-136
No TPTP formula. May not be expressible in strict first order.	relations-cz.txt 195-195
No TPTP formula. May not be expressible in strict first order.	relations-de.txt 425-425
No TPTP formula. May not be expressible in strict first order.	relations-hindi.txt 323-323
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 204-204
No TPTP formula. May not be expressible in strict first order.	relations-sv.txt 194-194
No TPTP formula. May not be expressible in strict first order.	relations-tg.txt 478-478
No TPTP formula. May not be expressible in strict first order.	Merge.kif 732-732	相關的內部概念後繼屬性關閉 and 繼承屬性
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9022-9022	相關的內部概念 successorClass and 繼承屬性
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 324-324
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55885-55885
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55884-55884
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 55883-55883

antecedent

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

Merge.kif 739-741

繼承屬性 Attribute and Attribute
後繼屬性關閉 Attribute and Attribute

appearance as argument number 0

No TPTP formula. May not be expressible in strict first order.	Weather.kif 373-373	繼承屬性 BeaufortNumber0 and BeaufortNumber1
No TPTP formula. May not be expressible in strict first order.	Weather.kif 382-382	繼承屬性 BeaufortNumber1 and BeaufortNumber2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 464-464	繼承屬性 BeaufortNumber10 and BeaufortNumber11
No TPTP formula. May not be expressible in strict first order.	Weather.kif 473-473	繼承屬性 BeaufortNumber11 and BeaufortNumber12
No TPTP formula. May not be expressible in strict first order.	Weather.kif 391-391	繼承屬性 BeaufortNumber2 and BeaufortNumber3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 401-401	繼承屬性 BeaufortNumber3 and BeaufortNumber4
No TPTP formula. May not be expressible in strict first order.	Weather.kif 410-410	繼承屬性 BeaufortNumber4 and BeaufortNumber5
No TPTP formula. May not be expressible in strict first order.	Weather.kif 419-419	繼承屬性 BeaufortNumber5 and BeaufortNumber6
No TPTP formula. May not be expressible in strict first order.	Weather.kif 428-428	繼承屬性 BeaufortNumber6 and BeaufortNumber7
No TPTP formula. May not be expressible in strict first order.	Weather.kif 437-437	繼承屬性 BeaufortNumber7 and BeaufortNumber8
No TPTP formula. May not be expressible in strict first order.	Weather.kif 446-446	繼承屬性 BeaufortNumber8 and BeaufortNumber9
No TPTP formula. May not be expressible in strict first order.	Weather.kif 455-455	繼承屬性 BeaufortNumber9 and BeaufortNumber10
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25708-25708	繼承屬性 ColdTemperature and CoolTemperature
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25714-25714	繼承屬性 CoolTemperature and WarmTemperature
No TPTP formula. May not be expressible in strict first order.	Economy.kif 517-517	繼承屬性轉型國家 and 發達經濟
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1001-1001	繼承屬性 DeluxeRoom and Suite
No TPTP formula. May not be expressible in strict first order.	Economy.kif 516-516	繼承屬性發展中國家 and 轉型國家
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2150-2150	繼承屬性 EF0 and EF1
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2158-2158	繼承屬性 EF1 and EF2
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2166-2166	繼承屬性 EF2 and EF3
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2174-2174	繼承屬性 EF3 and EF4
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2182-2182	繼承屬性 EF4 and EF5
No TPTP formula. May not be expressible in strict first order.	Economy.kif 187-187	繼承屬性前蘇聯或東歐國家 and 發達國家
No TPTP formula. May not be expressible in strict first order.	Economy.kif 209-209	繼承屬性較未發達國家 and 前蘇聯或東歐國家
No TPTP formula. May not be expressible in strict first order.	Economy.kif 426-426	繼承屬性低收入國家 and 中低收入國家

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: