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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - Entity
Entity(Entidade)

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 O conceito Entidade e' completamente decomposto em Fisico + Abstrato

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 788-788 O contra-dominio de AssignmentFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 3227-3227 O contra-dominio de FirstFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 3207-3207 O contra-dominio de LastFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 2979-2979 O contra-dominio de ListOrderFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Geography.kif 2888-2888 O contra-dominio de ShortageFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 1669-1669 Abstrato e' uma sub-classe de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 Fisico e' uma sub-classe de Entidade
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 O argumento numero 2 de AssignmentFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 2933-2933 O argumento numero 1 de ListFn e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27232-27232 O argumento numero 2 de abbreviation e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 852-852 O argumento numero 1 de accessibleFromMenu e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1138-1138 O argumento numero 1 de accessibleFromMenuItem e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Media.kif 3033-3033 O argumento numero 2 de acronym e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29961-29961 O argumento numero 3 de buys e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Media.kif 2266-2266 O argumento numero 3 de codeMapping e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 18366-18366 O argumento numero 1 de comment e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 3992-3992 O argumento numero 1 de confersNorm e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 17455-17455 O argumento numero 2 de confersObligation e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 17434-17434 O argumento numero 2 de confersRight e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Music.kif 1080-1080 O argumento numero 1 de contestEntry e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27215-27215 O argumento numero 2 de conventionalLongName e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27227-27227 O argumento numero 2 de conventionalShortName e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13714-13714 O argumento numero 2 de creator e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2655-2655 O argumento numero 1 de crossFunctionalTeamFocus e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 4014-4014 O argumento numero 1 de deprivesNorm e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 2445-2445 O argumento numero 2 de destination e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 369-369 O argumento numero 1 de documentation e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 5414-5414 O argumento numero 1 de element e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 O argumento numero 1 de externalImage e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 O argumento numero 2 de format e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Media.kif 3289-3289 O argumento numero 2 de fullName e' uma instancia de Entidade
No TPTP formula. May not be expressible in strict first order. Media.kif 3303-3303 O argumento numero 2 de fullNameIndexOrder e' uma instancia de Entidade

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 Entidade Entidade e' uma instancia de Entidade


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