Entity - Sigma Knowledge base Browser

appearance as argument number 1

(partition Entity Physical Abstract)	Merge.kif 808-808
(documentation Entity EnglishLanguage "The universal class of individuals. This is the root node of the ontology.")	Merge.kif 809-810

appearance as argument number 2

(range AssignmentFn Entity)	Merge.kif 780-780
(subclass Physical Entity)	Merge.kif 824-824
(subclass Abstract Entity)	Merge.kif 1762-1762
(range ListOrderFn Entity)	Merge.kif 3090-3090
(range LastFn Entity)	Merge.kif 3318-3318
(range FirstFn Entity)	Merge.kif 3338-3338
(range ShortageFn Entity)	Geography.kif 4320-4320
(termFormat EnglishLanguage Entity "entity")	english_format.kif 828-828

appearance as argument number 3

(domain instance 1 Entity)	Merge.kif 81-81
(domain immediateInstance 1 Entity)	Merge.kif 90-90
(domain documentation 1 Entity)	Merge.kif 361-361
(domain format 2 Entity)	Merge.kif 373-373
(domain termFormat 2 Entity)	Merge.kif 380-380
(domain relatedInternalConcept 1 Entity)	Merge.kif 608-608
(domain relatedInternalConcept 2 Entity)	Merge.kif 609-609
(domain relatedExternalConcept 2 Entity)	Merge.kif 619-619
(domain synonymousExternalConcept 2 Entity)	Merge.kif 629-629
(domain subsumingExternalConcept 2 Entity)	Merge.kif 650-650
(domain subsumedExternalConcept 2 Entity)	Merge.kif 656-656
(domain externalImage 1 Entity)	Merge.kif 669-669
(domain greaterThanByQuality 1 Entity)	Merge.kif 741-741
(domain greaterThanByQuality 2 Entity)	Merge.kif 742-742
(domain AssignmentFn 2 Entity)	Merge.kif 779-779
(domain property 1 Entity)	Merge.kif 1801-1801
(domain involvedInEvent 2 Entity)	Merge.kif 2523-2523
(domain destination 2 Entity)	Merge.kif 2553-2553
(domain patient 2 Entity)	Merge.kif 2604-2604
(domain result 2 Entity)	Merge.kif 2661-2661
(domain inScopeOfInterest 2 Entity)	Merge.kif 2833-2833
(domain ListFn 1 Entity)	Merge.kif 3044-3044
(domain inList 1 Entity)	Merge.kif 3217-3217
(domain confersNorm 1 Entity)	Merge.kif 4095-4095
(domain deprivesNorm 1 Entity)	Merge.kif 4117-4117

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
(=> (businessUnit ?BU ?ORG) (exists (?INTEREST) (and (instance ?INTEREST Entity) (inScopeOfInterest ?BU ?INTEREST))))	UXExperimentalTerms.kif 2573-2578
(=> (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

statement

(exists (?THING)
(instance ?THING Entity))