Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

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 809-809 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 810-811 Entity is exhaustively partitioned into physical and abstract

appearance as argument number 2
-------------------------


(range ShortageFn Entity) Geography.kif 4343-4343 The range of shortage is an instance of entity
(range AssignmentFn Entity) Merge.kif 781-781 The range of assignment is an instance of entity
(subclass Physical Entity) Merge.kif 825-825 Physical is a subclass of entity
(subclass Abstract Entity) Merge.kif 1703-1703 Abstract is a subclass of entity
(range ListOrderFn Entity) Merge.kif 3016-3016 The range of list order is an instance of entity
(range LastFn Entity) Merge.kif 3244-3244 The range of last is an instance of entity
(range FirstFn Entity) Merge.kif 3264-3264 The range of first is an instance of entity
(termFormat EnglishLanguage Entity "entity") english_format.kif 828-828 The range of first is an instance of entity

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


(domainSubclass catalogItem 1 Entity) Catalog.kif 48-48 The number 1 argument of catalog item is a subclass of entity
(domain offersAtTime 2 Entity) Catalog.kif 127-127 The number 2 argument of offers at time is an instance of entity
(domainSubclass priceRange 1 Entity) Catalog.kif 203-203 The number 1 argument of price range is a subclass of entity
(domainSubclass publishedPrice 1 Entity) Catalog.kif 332-332 The number 1 argument of published price is a subclass of entity
(domainSubclass unitPrice 1 Entity) Catalog.kif 397-397 The number 1 argument of unit price is a subclass of entity
(domainSubclass productPrice 1 Entity) Catalog.kif 415-415 The number 1 argument of product price is a subclass of entity
(domain accessibleFromMenu 1 Entity) ComputerInput.kif 852-852 The number 1 argument of accessible from menu is an instance of entity
(domain accessibleFromMenuItem 1 Entity) ComputerInput.kif 1138-1138 The number 1 argument of accessible from menu item is an instance of entity
(domain subjectiveAttribute 1 Entity) Dining.kif 313-313 The number 1 argument of subjective attribute is an instance of entity
(domain productBrand 1 Entity) Hotel.kif 1310-1310 The number 1 argument of product brand is an instance of entity
(domain productBrand 2 Entity) Hotel.kif 1311-1311 The number 2 argument of product brand is an instance of entity
(domain subBrand 1 Entity) Hotel.kif 1343-1343 The number 1 argument of sub-brand is an instance of entity
(domain subBrand 2 Entity) Hotel.kif 1344-1344 The number 2 argument of sub-brand is an instance of entity
(domain witness 2 Entity) Law.kif 210-210 The number 2 argument of witness is an instance of entity
(domain defenseLawyer 2 Entity) Law.kif 262-262 The number 2 argument of defense lawyer is an instance of entity
(domain codeMapping 3 Entity) Media.kif 2268-2268 The number 3 argument of code mapping is an instance of entity
(domain fullName 2 Entity) Media.kif 3273-3273 The number 2 argument of full name is an instance of entity
(domain fullNameIndexOrder 2 Entity) Media.kif 3287-3287 The number 2 argument of full name index order is an instance of entity
(domain nameIndexOrder 2 Entity) Media.kif 3315-3315 The number 2 argument of name index order is an instance of entity
(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 362-362 The number 1 argument of documentation is an instance of entity
(domain format 2 Entity) Merge.kif 374-374 The number 2 argument of format is an instance of entity
(domain termFormat 2 Entity) Merge.kif 381-381 The number 2 argument of term format is an instance of entity
(domain relatedInternalConcept 1 Entity) Merge.kif 609-609 The number 1 argument of related internal concept 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 821-823 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 2572-2577 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 2618-2628 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