Browsing Interface		 [ Home |  Graph |   ]

KB:  Language: 


KB Term: 
English Word: 

Sigma KEE - Entity
Entity(entity)doodad, doohickey, doojigger, entity, freshener, gimmick, gismo, gizmo, gubbins, hangover, holdover, possession, thingamabob, thingamajig, thingmabob, thingmajig, thingumabob, thingumajig, thingummy, whatchamacallit, whatchamacallum, whatsis, widget

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


(documentation Entity EnglishLanguage "The universal class of individuals. This is the root node of the ontology.") Merge.kif 710-711
(partition Entity Physical Abstract) Merge.kif 709-709 Entity is exhaustively partitioned into physical and abstract

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


(range AssignmentFn Entity) Merge.kif 682-682 The range of assignment is an instance of entity
(range FirstFn Entity) Mid-level-ontology.kif 4070-4070 The range of first is an instance of entity
(range LastFn Entity) Mid-level-ontology.kif 4056-4056 The range of last is an instance of entity
(range ListOrderFn Entity) Merge.kif 2420-2420 The range of list order is an instance of entity
(range ShortageFn Entity) Geography.kif 2700-2700 The range of shortage is an instance of entity
(subclass Abstract Entity) Merge.kif 1340-1340 Abstract is a subclass of entity
(subclass Physical Entity) Merge.kif 723-723 Physical is a subclass of entity
(termFormat EnglishLanguage Entity "entity") english_format.kif 489-489 term format english language, entity and "entity"

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


(domain abbreviation 2 Entity) Government.kif 82-82 The number 2 argument of abbreviation is an instance of entity
(domain acronym 2 Entity) Media.kif 3765-3765 The number 2 argument of acronym is an instance of entity
(domain codeMapping 3 Entity) Media.kif 2000-2000 The number 3 argument of codeMapping is an instance of entity
(domain confersNorm 1 Entity) Merge.kif 3181-3181 The number 1 argument of confers norm is an instance of entity
(domain confersObligation 2 Entity) Merge.kif 14277-14277 The number 2 argument of confers obligation is an instance of entity
(domain confersRight 2 Entity) Merge.kif 14256-14256 The number 2 argument of confers right is an instance of entity
(domain conventionalLongName 2 Entity) Government.kif 65-65 The number 2 argument of conventional long name is an instance of entity
(domain conventionalShortName 2 Entity) Government.kif 77-77 The number 2 argument of conventional short name is an instance of entity
(domain deprivesNorm 1 Entity) Merge.kif 3196-3196 The number 1 argument of deprives norm is an instance of entity
(domain destination 2 Entity) Merge.kif 1985-1985 The number 2 argument of destination is an instance of entity
(domain documentation 1 Entity) Merge.kif 357-357 The number 1 argument of documentation is an instance of entity
(domain element 1 Entity) Merge.kif 4245-4245 The number 1 argument of element is an instance of entity
(domain equal 1 Entity) Merge.kif 242-242 The number 1 argument of equal is an instance of entity
(domain equal 2 Entity) Merge.kif 243-243 The number 2 argument of equal is an instance of entity
(domain externalImage 1 Entity) Merge.kif 584-584 The number 1 argument of externalImage is an instance of entity
(domain fullName 2 Entity) Media.kif 3965-3965 The number 2 argument of fullName is an instance of entity
(domain fullNameIndexOrder 2 Entity) Media.kif 3979-3979 The number 2 argument of fullNameIndexOrder is an instance of entity
(domain greaterThanByQuality 1 Entity) Merge.kif 644-644 The number 1 argument of greaterThanByQuality is an instance of entity
(domain greaterThanByQuality 2 Entity) Merge.kif 645-645 The number 2 argument of greaterThanByQuality is an instance of entity
(domain identityElement 2 Entity) Merge.kif 4119-4119 The number 2 argument of identity element is an instance of entity
(domain inList 1 Entity) Merge.kif 2527-2527 The number 1 argument of in list is an instance of entity
(domain inScopeOfInterest 2 Entity) Merge.kif 2213-2213 The number 2 argument of in scope of interest is an instance of entity
(domain instance 1 Entity) Merge.kif 82-82 The number 1 argument of instance is an instance of entity
(domain involvedInEvent 2 Entity) Merge.kif 1960-1960 The number 2 argument of involved in event is an instance of entity
(domain localLongName 2 Entity) Mid-level-ontology.kif 8895-8895 The number 2 argument of local long name is an instance of entity

Display limited to 25 items. Show next 25

consequent
-------------------------


(<=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))		 Merge.kif 719-721 A set or class is an instance of class if and only if set or class is a subclass of entity