Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  successorAttribute

 Sigma KEE - successorAttribute
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 数量 是 属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 705-705 后续属性 的 2 数量 是 属性 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 703-703 后续属性 是 非对称关系 的 instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 702-702 后续属性 是 二元谓语 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 684-684 子属性 和 后续属性 是 disjoint 关系
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 后续属性闭包 和 后续属性 是 内部相关
No TPTP formula. May not be expressible in strict first order. Merge.kif 9022-9022 successorClass 和 后续属性 是 内部相关
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

appearance as argument number 0
-------------------------


No TPTP formula. May not be expressible in strict first order. Weather.kif 373-373 浦氏0风级 是 浦氏1风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 382-382 浦氏1风级 是 浦氏2风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 464-464 浦氏10风级 是 浦氏11风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 473-473 浦氏11风级 是 浦氏12风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 391-391 浦氏2风级 是 浦氏3风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 401-401 浦氏3风级 是 浦氏4风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 410-410 浦氏4风级 是 浦氏5风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 419-419 浦氏5风级 是 浦氏6风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 428-428 浦氏6风级 是 浦氏7风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 437-437 浦氏7风级 是 浦氏8风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 446-446 浦氏8风级 是 浦氏9风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 455-455 浦氏9风级 是 浦氏10风级 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25708-25708 ColdTemperature 是 CoolTemperature 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25714-25714 CoolTemperature 是 WarmTemperature 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Economy.kif 517-517 转型国家 是 发达经济 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Hotel.kif 1001-1001 DeluxeRoom 是 Suite 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Economy.kif 516-516 发展中国家 是 转型国家 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2150-2150 改良藤田0 是 改良藤田1 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2158-2158 改良藤田1 是 改良藤田2 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2166-2166 改良藤田2 是 改良藤田3 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2174-2174 改良藤田3 是 改良藤田4 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Weather.kif 2182-2182 改良藤田4 是 改良藤田5 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Economy.kif 187-187 前苏联或东欧国家 是 发达国家 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Economy.kif 209-209 较未发达国家 是 前苏联或东欧国家 的直接后续属性
No TPTP formula. May not be expressible in strict first order. Economy.kif 426-426 低收入国家 是 中低收入国家 的直接后续属性

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)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners