| 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 |
|
|
| __partition__3(s__Entity, s__Physical,
|
Merge.kif 808-808 | Entity is exhaustively partitioned into physical and abstract |
| s__documentation(s__Entity, s__EnglishLanguage, "The universal class of individuals_ This is the root node of the ontology_") | Merge.kif 809-810 | Entity is exhaustively partitioned into physical and abstract |
| appearance as argument number 2 |
|
|
| __range(s__AssignmentFn__m,
|
Merge.kif 780-780 | The range of assignment is an instance of entity |
| __instance(s__Physical, __instance(s__Entity, __subclass(s__Physical,
|
Merge.kif 824-824 | Physical is a subclass of entity |
| __subclass(s__Abstract, __instance(s__Entity, __instance(s__Abstract,
|
Merge.kif 1697-1697 | Abstract is a subclass of entity |
| __range(s__ListOrderFn__m,
|
Merge.kif 3025-3025 | The range of list order is an instance of entity |
| __range(s__LastFn__m,
|
Merge.kif 3253-3253 | The range of last is an instance of entity |
| __range(s__FirstFn__m,
|
Merge.kif 3273-3273 | The range of first is an instance of entity |
| __range(s__ShortageFn__m,
|
Geography.kif 4339-4339 | The range of shortage is an instance of entity |
| s__termFormat(s__EnglishLanguage, s__Entity, "entity") | english_format.kif 828-828 | The range of shortage is an instance of entity |
| appearance as argument number 3 |
|
|
| consequent |
|
|
| [V__CLASS : $i] : ((s__instance(V__CLASS, s__Class) => s__subclass(V__CLASS, s__Entity))
|
Merge.kif 820-822 | If X is an instance of class, then X is a subclass of entity |
| [V__BU : $i,V__ORG : $i] : (((s__instance(V__BU, s__CognitiveAgent) & s__instance(V__BU, s__Organization) & s__instance(V__ORG, s__Business)) => (s__businessUnit(V__BU, V__ORG) => ( ? [V__INTEREST: $i] : ((s__instance(V__INTEREST, s__Entity) & s__inScopeOfInterest(V__BU, V__INTEREST))))))
|
UXExperimentalTerms.kif 2573-2578 | If X is a business unit of Y, then there exists Z such that Z is an instance of entity and X is interested in Z |
| [V__TEAM : $i] : ((s__instance(V__TEAM, s__CrossFunctionalTeam) => ( ? [V__INTEREST: $i] : ((s__instance(V__INTEREST, s__Entity) & ( ! [V__MEMBER: $i] : (((s__instance(V__MEMBER, s__Human) & s__member(V__MEMBER, V__TEAM)) => s__inScopeOfInterest(V__MEMBER, V__INTEREST))))))))
|
UXExperimentalTerms.kif 2619-2629 | If X is an instance of cross_functional team, then there exists Y such that Y is an instance of entity, Z Z is an instance of human, and Z is a member of XZ is interested in Y |
| statement |
|
|
| ? [V__THING: $i] : (s__instance(V__THING, s__Entity))
|
Merge.kif 817-818 | There exists X such that X is an instance of entity |
|
|
|