KB Term:  Term intersection
English Word: 

  Entity

 Sigma KEE - Entity
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 Entity Physical Abstract) Merge.kif 808-808 Entity is exhaustively partitioned into physical and abstract
(documentation Entity 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 AssignmentFn Entity) Merge.kif 780-780 The range of assignment is an instance of entity
(subclass Physical Entity) Merge.kif 824-824 Physical is a subclass of entity
(subclass Abstract Entity) Merge.kif 1819-1819 Abstract is a subclass of entity
(range ListOrderFn Entity) Merge.kif 3147-3147 The range of list order is an instance of entity
(range LastFn Entity) Merge.kif 3375-3375 The range of last is an instance of entity
(range FirstFn Entity) Merge.kif 3395-3395 The range of first is an instance of entity
(range ShortageFn Entity) Geography.kif 4320-4320 The range of shortage is an instance of entity
(termFormat EnglishLanguage Entity "entity") english_format.kif 828-828 The range of shortage is an instance of entity

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


(domain instance 1 Entity) Merge.kif 81-81 The number 1 argument of instance is an instance of entity
(domain immediateInstance 1 Entity) Merge.kif 90-90 The number 1 argument of immediate instance is an instance of entity
(domain documentation 1 Entity) Merge.kif 361-361 The number 1 argument of documentation is an instance of entity
(domain format 2 Entity) Merge.kif 373-373 The number 2 argument of format is an instance of entity
(domain termFormat 2 Entity) Merge.kif 380-380 The number 2 argument of term format is an instance of entity
(domain relatedInternalConcept 1 Entity) Merge.kif 608-608 The number 1 argument of related internal concept is an instance of entity
(domain relatedInternalConcept 2 Entity) Merge.kif 609-609 The number 2 argument of related internal concept is an instance of entity
(domain relatedExternalConcept 2 Entity) Merge.kif 619-619 The number 2 argument of related external concept is an instance of entity
(domain synonymousExternalConcept 2 Entity) Merge.kif 629-629 The number 2 argument of synonymous external concept is an instance of entity
(domain subsumingExternalConcept 2 Entity) Merge.kif 650-650 The number 2 argument of subsuming external concept is an instance of entity
(domain subsumedExternalConcept 2 Entity) Merge.kif 656-656 The number 2 argument of subsumed external concept is an instance of entity
(domain externalImage 1 Entity) Merge.kif 669-669 The number 1 argument of external image is an instance of entity
(domain greaterThanByQuality 1 Entity) Merge.kif 741-741 The number 1 argument of greater than by quality is an instance of entity
(domain greaterThanByQuality 2 Entity) Merge.kif 742-742 The number 2 argument of greater than by quality is an instance of entity
(domain AssignmentFn 2 Entity) Merge.kif 779-779 The number 2 argument of assignment is an instance of entity
(domain property 1 Entity) Merge.kif 1858-1858 The number 1 argument of property is an instance of entity
(domain involvedInEvent 2 Entity) Merge.kif 2580-2580 The number 2 argument of involved in event is an instance of entity
(domain destination 2 Entity) Merge.kif 2610-2610 The number 2 argument of destination is an instance of entity
(domain patient 2 Entity) Merge.kif 2661-2661 The number 2 argument of patient is an instance of entity
(domain result 2 Entity) Merge.kif 2718-2718 The number 2 argument of result is an instance of entity
(domain inScopeOfInterest 2 Entity) Merge.kif 2890-2890 The number 2 argument of in scope of interest is an instance of entity
(domain ListFn 1 Entity) Merge.kif 3101-3101 The number 1 argument of list is an instance of entity
(domain inList 1 Entity) Merge.kif 3274-3274 The number 1 argument of in list is an instance of entity
(domain confersNorm 1 Entity) Merge.kif 4152-4152 The number 1 argument of confers norm is an instance of entity
(domain deprivesNorm 1 Entity) Merge.kif 4174-4174 The number 1 argument of deprives norm is an instance of entity

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(=>
    (instance ?CLASS Class)
    (subclass ?CLASS Entity))		 Merge.kif 820-822 If X is an instance of class, then X is a subclass of entity
(=>
    (businessUnit ?BU ?ORG)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (inScopeOfInterest ?BU ?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
(=>
    (instance ?TEAM CrossFunctionalTeam)
    (exists (?INTEREST)
        (and
            (instance ?INTEREST Entity)
            (forall (?MEMBER)
                (=>
                    (and
                        (instance ?MEMBER Human)
                        (member ?MEMBER ?TEAM))
                    (inScopeOfInterest ?MEMBER ?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
(=>
    (instance ?A Creation)
    (not
        (capability ?A agent Entity)))		 capabilities.kif 293-296 If X is an instance of creation, then entity is not capable of doing X as a agent

statement
-------------------------


(exists (?THING)
    (instance ?THING Entity))		 Merge.kif 817-818 There exists X such that X is an instance of entity


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-55e0ac83 (2026-07-10) is open source software produced by Articulate Software and its partners