| 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 |
|
|
| 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 2829-2829 | The number 1 argument of list is an instance of entity |
| s__domain(s__abbreviation__m,n__2,s__Entity)
|
Mid-level-ontology.kif 25364-25364 | 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 3003-3003 | The number 2 argument of acronym is an instance of entity |
| s__domain(s__buys__m,n__3,s__Entity)
|
Mid-level-ontology.kif 28107-28107 | 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 17512-17512 | The number 1 argument of comment is an instance of entity |
| s__domain(s__confersNorm__m,n__1,s__Entity)
|
Merge.kif 3864-3864 | The number 1 argument of confers norm is an instance of entity |
| s__domain(s__confersObligation__m,n__2,s__Entity)
|
Merge.kif 16646-16646 | The number 2 argument of confers obligation is an instance of entity |
| s__domain(s__confersRight__m,n__2,s__Entity)
|
Merge.kif 16625-16625 | The number 2 argument of confers right is an instance of entity |
| s__domain(s__contestEntry__m,n__1,s__Entity)
|
Music.kif 1072-1072 | 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 25347-25347 | 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 25359-25359 | 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 12079-12079 | 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 3886-3886 | The number 1 argument of deprives norm is an instance of entity |
| s__domain(s__destination__m,n__2,s__Entity)
|
Merge.kif 2353-2353 | 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 5176-5176 | 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 3259-3259 | The number 2 argument of fullName is an instance of entity |
| s__domain(s__fullNameIndexOrder__m,n__2,s__Entity)
|
Media.kif 3273-3273 | 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 |
|
|
|