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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(实体)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 817-818
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 118-119
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 137-138
No TPTP formula. May not be expressible in strict first order. Merge.kif 816-816 实体 详尽无遗地 partition物理抽象体

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 788-788 分派函数range实体 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 3214-3214 第一range实体 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 3194-3194 持续range实体 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 2966-2966 找出表列顺序的函数range实体 的实例
No TPTP formula. May not be expressible in strict first order. Geography.kif 2814-2814 短缺range实体 的实例
No TPTP formula. May not be expressible in strict first order. Merge.kif 1656-1656 抽象体实体subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 物理实体subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 813-813
No TPTP formula. May not be expressible in strict first order. english_format.kif 828-828
No TPTP formula. May not be expressible in strict first order. french_format.kif 489-489
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 23-23
No TPTP formula. May not be expressible in strict first order. terms-it.txt 23-23
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2174-2174
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 441-441
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 26-26
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 56-56
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 510-510
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 26-26

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 787-787 分派函数 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2920-2920 表列函数 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27337-27337 缩写 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 852-852 accessibleFromMenu 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1138-1138 accessibleFromMenuItem 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3033-3033 acronym 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30066-30066 buys 的 3 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Media.kif 2266-2266 codeMapping 的 3 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 18247-18247 注释 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 3979-3979 赋予规范 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17340-17340 授予执行任务 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 17319-17319 赋予权利 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1079-1079 contestEntry 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27320-27320 传统的长名 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27332-27332 传统的短名称 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13584-13584 creator 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2861-2861 crossFunctionalTeamFocus 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 4001-4001 剥夺了规范 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 2432-2432 终点 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 369-369 文档 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 5400-5400 元素 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 externalImage 的 1 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 格式 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3289-3289 fullName 的 2 数量 是 实体instance
No TPTP formula. May not be expressible in strict first order. Media.kif 3303-3303 fullNameIndexOrder 的 2 数量 是 实体instance

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2778-2783
No TPTP formula. May not be expressible in strict first order. Merge.kif 828-830
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2824-2834

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 825-826 有存在 实体 这样 那个 实体实体instance


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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