Browsing Interface
Home |  Graph |   ]

KB:  Language: 

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Entity
Entity(entity)Jim_Crow, Moloch, actuality, adversative_conjunction, aftermath, aim, albatross, allocation, allotment, allowance, antecedent, antitype, apology, appearance, articulation, assets, bag, balance, bamboo_curtain, barrier, base, be, beginning, being, beingness, bind, bit, bourn, bourne, brace, brainchild, breed, business, case, case_in_point, circumstances, clew, clue, cogent_evidence, color_bar, color_line, colour_bar, colour_line, complementarity, component, component_part, concentrate, consequence, constituent, contour...

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


s__documentation(s__Entity,s__EnglishLanguage,'The universal class of individuals. This is the root node of the ontology.')

Merge.kif 837-838
No TPTP formula. May not be expressible in strict first order. Merge.kif 836-836 Entity is exhaustively partitioned into physical and abstract

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


s__instance(s__AAA_Rating,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 124407-124407 AAA-rating is an instance of entity
s__instance(s__ABPFn__m,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 104137-104137 Average buying price is an instance of entity
s__instance(s__ABTest,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 119780-119780 A/B test is an instance of entity
s__instance(s__ALManghamJrRegionalTXAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 69650-69650 ALManghamJrRegionalTXAirport is an instance of entity
s__instance(s__AMenderesIzmirAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 102956-102956 AMenderesIzmirAirport is an instance of entity
s__instance(s__APHillArmyAirFieldVAAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 172889-172889 APHillArmyAirFieldVAAirport is an instance of entity
s__instance(s__APucikwarLanguage,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 123733-123733 A pucikwar language is an instance of entity
s__instance(s__ASEANRegionalForum,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 95232-95232 ASEAN regional forum is an instance of entity
s__instance(s__ASPFn__m,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 170178-170178 Average buying price is an instance of entity
s__instance(s__AachenAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 196014-196014 AachenAirport is an instance of entity
s__instance(s__AalandIslands,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 109708-109708 AalandIslands is an instance of entity
s__instance(s__AalborgAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 59858-59858 AalborgAirport is an instance of entity
s__instance(s__AariyaLanguage,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 81878-81878 Aariya language is an instance of entity
s__instance(s__AbaTennaDYilmaDireDawaAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 53412-53412 AbaTennaDYilmaDireDawaAirport is an instance of entity
s__instance(s__AbadanAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 200713-200713 AbadanAirport is an instance of entity
s__instance(s__AbaiangAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 173362-173362 AbaiangAirport is an instance of entity
s__instance(s__AbakanKhakassiaAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 52370-52370 AbakanKhakassiaAirport is an instance of entity
s__instance(s__AbauAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 73066-73066 AbauAirport is an instance of entity
s__instance(s__Abbot,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 49612-49612 Abbot is an instance of entity
s__instance(s__AbbotsfordBCAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 144240-144240 AbbotsfordBCAirport is an instance of entity
s__instance(s__AbbotsichnScotlandAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 158587-158587 AbbotsichnScotlandAirport is an instance of entity
s__instance(s__AbbseAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 57949-57949 AbbseAirport is an instance of entity
s__instance(s__AbecheAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 180197-180197 AbecheAirport is an instance of entity
s__instance(s__AbemamaAtollAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 66756-66756 AbemamaAtollAirport is an instance of entity
s__instance(s__AbengourouAirport,s__Entity)

s__instance(s__Entity,s__SetOrClass)

SUMO_Cache.kif 111248-111248 AbengourouAirport is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


s__domain(s__abbreviation__m,2,s__Entity)

Mid-level-ontology.kif 24459-24459 The number 2 argument of abbreviation is an instance of entity
s__domain(s__accessableFromMenu__m,1,s__Entity)

ComputerInput.kif 805-805 The number 1 argument of accessableFromMenu is an instance of entity
s__domain(s__accessableFromMenuItem__m,1,s__Entity)

ComputerInput.kif 1004-1004 The number 1 argument of accessableFromMenuItem is an instance of entity
s__domain(s__acronym__m,2,s__Entity)

Media.kif 3007-3007 The number 2 argument of acronym is an instance of entity
s__domain(s__buys__m,3,s__Entity)

Catalog.kif 166-166 The number 3 argument of buys is an instance of entity
s__domain(s__codeMapping__m,3,s__Entity)

Media.kif 2265-2265 The number 3 argument of codeMapping is an instance of entity
s__domain(s__comment__m,1,s__Entity)

Merge.kif 16394-16394 The number 1 argument of comment is an instance of entity
s__domain(s__confersNorm__m,1,s__Entity)

Merge.kif 4048-4048 The number 1 argument of confers norm is an instance of entity
s__domain(s__confersObligation__m,2,s__Entity)

Merge.kif 15640-15640 The number 2 argument of confers obligation is an instance of entity
s__domain(s__confersRight__m,2,s__Entity)

Merge.kif 15619-15619 The number 2 argument of confers right is an instance of entity
s__domain(s__contestEntry__m,1,s__Entity)

Music.kif 1092-1092 The number 1 argument of contest entry is an instance of entity
s__domain(s__conventionalLongName__m,2,s__Entity)

Mid-level-ontology.kif 24442-24442 The number 2 argument of official name is an instance of entity
s__domain(s__conventionalShortName__m,2,s__Entity)

Mid-level-ontology.kif 24454-24454 The number 2 argument of acronym is an instance of entity
s__domain(s__creator__m,2,s__Entity)

Mid-level-ontology.kif 10844-10844 The number 2 argument of creator is an instance of entity
s__domain(s__crossFunctionalTeamFocus__m,1,s__Entity)

UXExperimentalTerms.kif 2863-2863 The number 1 argument of BinaryPredicate is an instance of entity
s__domain(s__deprivesNorm__m,1,s__Entity)

Merge.kif 4063-4063 The number 1 argument of deprives norm is an instance of entity
s__domain(s__destination__m,2,s__Entity)

Merge.kif 2526-2526 The number 2 argument of destination is an instance of entity
s__domain(s__documentation__m,1,s__Entity)

Merge.kif 408-408 The number 1 argument of documentation is an instance of entity
s__domain(s__element__m,1,s__Entity)

Merge.kif 5222-5222 The number 1 argument of element is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 284-284 The number 1 argument of equal is an instance of entity
No TPTP formula. May not be expressible in strict first order. Merge.kif 285-285 The number 2 argument of equal is an instance of entity
s__domain(s__externalImage__m,1,s__Entity)

Merge.kif 693-693 The number 1 argument of externalImage is an instance of entity
s__domain(s__format__m,2,s__Entity)

Merge.kif 422-422 The number 2 argument of format is an instance of entity
s__domain(s__fullName__m,2,s__Entity)

Media.kif 3208-3208 The number 2 argument of fullName is an instance of entity
s__domain(s__fullNameIndexOrder__m,2,s__Entity)

Media.kif 3222-3222 The number 2 argument of fullNameIndexOrder is an instance of 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. Merge.kif 848-850 A set or class is an instance of class if and only if the set or class is a subclass of entity
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2780-2785
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 2826-2836

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 845-846 There exists an entity such that the entity is an instance of entity


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 2.99b (>= 2014/01/25) is open source software produced by Articulate Software and its partners