VerbNet: seem-109|be, bump-18.4|run, bump-18.4|run, exist-47.1|exist, bump-18.4|run, bump-18.4|run, seem-109|remain, bump-18.4|run,
| 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... VerbNet: seem-109|be, bump-18.4|run, bump-18.4|run, exist-47.1|exist, bump-18.4|run, bump-18.4|run, seem-109|remain, bump-18.4|run, |
| 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 782-783 | |
| s__partition__3(s__Entity,s__Physical,s__Abstract)
|
Merge.kif 781-781 | 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 752-752 | The number 2 argument of assignment is an instance of entity |
| s__domain(s__ListFn__m,n__1,s__Entity)
|
Merge.kif 2822-2822 | The number 1 argument of list is an instance of entity |
| s__domain(s__abbreviation__m,n__2,s__Entity)
|
Mid-level-ontology.kif 25493-25493 | 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 28132-28132 | 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 16969-16969 | The number 1 argument of comment is an instance of entity |
| s__domain(s__confersNorm__m,n__1,s__Entity)
|
Merge.kif 3818-3818 | The number 1 argument of confers norm is an instance of entity |
| s__domain(s__confersObligation__m,n__2,s__Entity)
|
Merge.kif 16219-16219 | The number 2 argument of confers obligation is an instance of entity |
| s__domain(s__confersRight__m,n__2,s__Entity)
|
Merge.kif 16198-16198 | 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 25476-25476 | 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 25488-25488 | 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 11326-11326 | The number 2 argument of creator is an instance of entity |
| s__domain(s__crossFunctionalTeamFocus__m,n__1,s__Entity)
|
UXExperimentalTerms.kif 2860-2860 | The number 1 argument of BinaryPredicate is an instance of entity |
| s__domain(s__deprivesNorm__m,n__1,s__Entity)
|
Merge.kif 3840-3840 | The number 1 argument of deprives norm is an instance of entity |
| s__domain(s__destination__m,n__2,s__Entity)
|
Merge.kif 2346-2346 | 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 5084-5084 | The number 1 argument of element is an instance of entity |
| s__domain(s__equal__m,n__1,s__Entity)
|
Merge.kif 253-253 | The number 1 argument of equal is an instance of entity |
| s__domain(s__equal__m,n__2,s__Entity)
|
Merge.kif 254-254 | The number 2 argument of equal is an instance of entity |
| s__domain(s__externalImage__m,n__1,s__Entity)
|
Merge.kif 648-648 | 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 |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
| consequent |
|
|
| ( ! [V__CLASS] : ((s__instance(V__CLASS,s__Class) => s__subclass(V__CLASS,s__Entity)) & (s__subclass(V__CLASS,s__Entity) => s__instance(V__CLASS,s__Class)) ) )
|
Merge.kif 793-795 | A set or class is an instance of class if and only if the set or class is a subclass of entity |
| ( ! [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 2777-2782 |
|
| ( ! [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 2823-2833 |
|
| statement |
|
|
| ( ? [V__THING] : (s__instance(V__THING,s__Entity)))
|
Merge.kif 790-791 | There exists an entity such that the entity is an instance of entity |
|
|
|