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

Formal Language: 



KB Term:  Term intersection
English Word: 

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