| 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 783-784 | |
| s__partition__3(s__Entity,s__Physical,s__Abstract)
|
Merge.kif 782-782 | Entity is exhaustively partitioned into physical and abstract |
| appearance as argument number 2 |
|
|
| s__range(s__AssignmentFn__m,s__Entity)
|
Merge.kif 754-754 | The range of assignment is an instance of entity |
| s__range(s__FirstFn__m,s__Entity)
|
Merge.kif 3150-3150 | The range of first is an instance of entity |
| s__range(s__LastFn__m,s__Entity)
|
Merge.kif 3135-3135 | The range of last is an instance of entity |
| s__range(s__ListOrderFn__m,s__Entity)
|
Merge.kif 2908-2908 | The range of list order is an instance of entity |
| s__range(s__ShortageFn__m,s__Entity)
|
Geography.kif 2778-2778 | The range of shortage is an instance of entity |
| s__instance(s__Abstract,s__Class) s__instance(s__Entity,s__Class) s__subclass(s__Abstract,s__Entity)
|
Merge.kif 1612-1612 | Abstract is a subclass of entity |
| s__instance(s__Entity,s__Class) s__subclass(s__Physical,s__Entity) s__instance(s__Physical,s__Class)
|
Merge.kif 798-798 | Physical is a subclass of entity |
| s__termFormat(s__ChineseLanguage,s__Entity,'"实体"')
|
chinese_format.kif 813-813 | |
| s__termFormat(s__EnglishLanguage,s__Entity,'"entity"')
|
english_format.kif 828-828 |
| appearance as argument number 3 |
|
|
| s__domain(s__AssignmentFn__m,n__2,s__Entity)
|
Merge.kif 753-753 | The number 2 argument of assignment is an instance of entity |
| s__domain(s__ListFn__m,n__1,s__Entity)
|
Merge.kif 2862-2862 | The number 1 argument of list is an instance of entity |
| s__domain(s__abbreviation__m,n__2,s__Entity)
|
Mid-level-ontology.kif 26457-26457 | The number 2 argument of abbreviation is an instance of entity |
| s__domain(s__accessibleFromMenu__m,n__1,s__Entity)
|
ComputerInput.kif 881-881 | The number 1 argument of accessibleFromMenu is an instance of entity |
| s__domain(s__accessibleFromMenuItem__m,n__1,s__Entity)
|
ComputerInput.kif 1165-1165 | The number 1 argument of accessibleFromMenuItem is an instance of entity |
| s__domain(s__acronym__m,n__2,s__Entity)
|
Media.kif 3015-3015 | The number 2 argument of acronym is an instance of entity |
| s__domain(s__buys__m,n__3,s__Entity)
|
Mid-level-ontology.kif 29200-29200 | The number 3 argument of buys is an instance of entity |
| s__domain(s__codeMapping__m,n__3,s__Entity)
|
Media.kif 2261-2261 | The number 3 argument of codeMapping is an instance of entity |
| s__domain(s__comment__m,n__1,s__Entity)
|
Merge.kif 17649-17649 | The number 1 argument of comment is an instance of entity |
| s__domain(s__confersNorm__m,n__1,s__Entity)
|
Merge.kif 3898-3898 | The number 1 argument of confers norm is an instance of entity |
| s__domain(s__confersObligation__m,n__2,s__Entity)
|
Merge.kif 16763-16763 | The number 2 argument of confers obligation is an instance of entity |
| s__domain(s__confersRight__m,n__2,s__Entity)
|
Merge.kif 16742-16742 | The number 2 argument of confers right is an instance of entity |
| s__domain(s__contestEntry__m,n__1,s__Entity)
|
Music.kif 1073-1073 | The number 1 argument of contest entry is an instance of entity |
| s__domain(s__conventionalLongName__m,n__2,s__Entity)
|
Mid-level-ontology.kif 26440-26440 | The number 2 argument of conventional long name is an instance of entity |
| s__domain(s__conventionalShortName__m,n__2,s__Entity)
|
Mid-level-ontology.kif 26452-26452 | The number 2 argument of conventional short name is an instance of entity |
| s__domain(s__creator__m,n__2,s__Entity)
|
Mid-level-ontology.kif 13040-13040 | The number 2 argument of creator is an instance of entity |
| s__domain(s__crossFunctionalTeamFocus__m,n__1,s__Entity)
|
UXExperimentalTerms.kif 2865-2865 | The number 1 argument of BinaryPredicate is an instance of entity |
| s__domain(s__deprivesNorm__m,n__1,s__Entity)
|
Merge.kif 3920-3920 | The number 1 argument of deprives norm is an instance of entity |
| s__domain(s__destination__m,n__2,s__Entity)
|
Merge.kif 2386-2386 | The number 2 argument of destination is an instance of entity |
| s__domain(s__documentation__m,n__1,s__Entity)
|
Merge.kif 368-368 | The number 1 argument of documentation is an instance of entity |
| s__domain(s__element__m,n__1,s__Entity)
|
Merge.kif 5211-5211 | The number 1 argument of element is an instance of entity |
| s__domain(s__externalImage__m,n__1,s__Entity)
|
Merge.kif 649-649 | The number 1 argument of externalImage is an instance of entity |
| s__domain(s__format__m,n__2,s__Entity)
|
Merge.kif 380-380 | The number 2 argument of format is an instance of entity |
| s__domain(s__fullName__m,n__2,s__Entity)
|
Media.kif 3271-3271 | The number 2 argument of fullName is an instance of entity |
| s__domain(s__fullNameIndexOrder__m,n__2,s__Entity)
|
Media.kif 3285-3285 | 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 |
|
|
| ( ! [V__BU,V__ORG] : (((s__instance(V__BU,s__Organization) & s__instance(V__BU,s__CognitiveAgent) & s__instance(V__ORG,s__Business)) => ((s__businessUnit(V__BU,V__ORG) => (( ? [V__INTEREST] : ((s__instance(V__INTEREST,s__Entity) & s__inScopeOfInterest(V__BU,V__INTEREST)))))))) ) )
|
UXExperimentalTerms.kif 2782-2787 |
|
| ( ! [V__CLASS] : ((s__instance(V__CLASS,s__Class) => (s__subclass(V__CLASS,s__Entity))) ) )
|
Merge.kif 794-796 | |
| ( ! [V__TEAM] : ((s__instance(V__TEAM,s__CrossFunctionalTeam) => (( ? [V__INTEREST] : ((s__instance(V__INTEREST,s__Entity) & ( ! [V__MEMBER] : (((s__instance(V__MEMBER,s__Human) & s__member(V__MEMBER,V__TEAM)) => (s__inScopeOfInterest(V__MEMBER,V__INTEREST)))))))))) ) )
|
UXExperimentalTerms.kif 2828-2838 |
|
| statement |
|
|
| ( ? [V__THING] : (s__instance(V__THING,s__Entity)))
|
Merge.kif 791-792 | There exists an entity such that the entity is an instance of entity |
|
|
|