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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

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 劃分 Entity, Physical and Abstract

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 788-788 範圍 任務 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3227-3227 範圍 第一 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3207-3207 範圍 持續 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2979-2979 範圍 清單順序 and Entity
No TPTP formula. May not be expressible in strict first order. Geography.kif 2888-2888 範圍 短缺 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 1669-1669 子類 Abstract and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 子類 Physical and Entity
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 25-25
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 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2933-2933 名單, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27232-27232 縮寫, 2 and Entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 852-852 accessibleFromMenu, 1 and Entity
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1138-1138 accessibleFromMenuItem, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3033-3033 acronym, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29961-29961 buys, 3 and Entity
No TPTP formula. May not be expressible in strict first order. Media.kif 2266-2266 codeMapping, 3 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 18366-18366 comment, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 3992-3992 賦予規範, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17455-17455 授予義務, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 17434-17434 賦予權利, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Music.kif 1080-1080 contestEntry, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27215-27215 傳統的長名, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27227-27227 傳統的短名稱, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13714-13714 creator, 2 and Entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2655-2655 crossFunctionalTeamFocus, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 4014-4014 剝奪了規範, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 2445-2445 目的地, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 369-369 文件, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 5414-5414 元件, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 externalImage, 1 and Entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 格式, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3289-3289 fullName, 2 and Entity
No TPTP formula. May not be expressible in strict first order. Media.kif 3303-3303 fullNameIndexOrder, 2 and Entity

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 2572-2577
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 2618-2628

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 825-826 Entity Entity and Entity


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