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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(entit�)

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 Entit� est compl�tement d�compos� en physique + abstrait

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 788-788 Le domaine de AssignmentFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 3228-3228 Le domaine de FirstFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 3208-3208 Le domaine de LastFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 2980-2980 Le domaine de ListOrderFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Geography.kif 2888-2888 Le domaine de ShortageFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 1669-1669 Abstrait est une sous-classe de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 832-832 Physique est une sous-classe de entit�
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 Le nombre 2 argument de AssignmentFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 2934-2934 Le nombre 1 argument de ListFn est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27265-27265 Le nombre 2 argument de abbreviation est une instance de entit�
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 852-852 Le nombre 1 argument de accessibleFromMenu est une instance de entit�
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1138-1138 Le nombre 1 argument de accessibleFromMenuItem est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27276-27276 Le nombre 2 argument de acronym est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 29985-29985 Le nombre 3 argument de buys est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Media.kif 2266-2266 Le nombre 3 argument de codeMapping est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 18445-18445 Le nombre 1 argument de comment est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 3993-3993 Le nombre 1 argument de confersNorm est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 17526-17526 Le nombre 2 argument de confersObligation est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 17505-17505 Le nombre 2 argument de confersRight est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Music.kif 1080-1080 Le nombre 1 argument de contestEntry est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27248-27248 Le nombre 2 argument de conventionalLongName est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 27260-27260 Le nombre 2 argument de conventionalShortName est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13741-13741 Le nombre 2 argument de creator est une instance de entit�
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2655-2655 Le nombre 1 argument de crossFunctionalTeamFocus est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 4015-4015 Le nombre 1 argument de deprivesNorm est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 2445-2445 Le nombre 2 argument de destination est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 369-369 Le nombre 1 argument de documentation est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 5415-5415 Le nombre 1 argument de element est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 677-677 Le nombre 1 argument de externalImage est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Merge.kif 381-381 Le nombre 2 argument de format est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Media.kif 3271-3271 Le nombre 2 argument de fullName est une instance de entit�
No TPTP formula. May not be expressible in strict first order. Media.kif 3285-3285 Le nombre 2 argument de fullNameIndexOrder est une instance de entit�

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 Entit� entit� est une instance de entit�


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