    # KEHOME/knowledge/applications/SemanticWeb/OpenCyc/Person.html
    # Sep/14/2003

# OpenCyc: Person isa ?;

### Notes

- "x isa y;" means "x iss y;" if x is a concept.
  "x isa y;" means "x isu y;" if x is a unit.
- Person isa* ?;
  MKE
  TAP
  OpenCyc
- The OpenCyc KB contains a contradiction;
  it considers Person to be both a unit
  Person isu Collection;
  and a concept
  Person iss Individual;

- context:
  #$UniversalVocabularyMt
- subcontexts:
  to be supplied
- simplify lattice:
  see The bottom line
- list-generation functions:
  Person iss CollectionUnionFn (...);

## Person iss ?;
(CycL #$genls)

    $ echo '#$Person iss ?x'| cycprint
    #$Agent
    #$Agent-Generic
    #$Animal
    #$BiologicalLivingObject
    #$CollectionUnionFn (#$TheSet #$Agent-Generic (#$GroupFn #$Agent-Generic))
    #$CollectionUnionFn (#$TheSet #$BiologicalLivingObject (#$GroupFn #$BiologicalLivingObject))
    #$CollectionUnionFn (#$TheSet #$InformationBearingThing #$Agent-Generic)
    #$CollectionUnionFn (#$TheSet #$Person (#$GroupFn #$Person))
    #$ComplexPhysicalObject
    #$CompositeTangibleAndIntangibleObject
    #$Individual
    #$IndividualAgent
    #$InformationStore
    #$IntelligentAgent
    #$LegalAgent
    #$NaturalTangibleStuff
    #$OrganicStuff
    #$Organism-Whole
    #$PartiallyIntangible
    #$PartiallyIntangibleIndividual
    #$PartiallyTangible
    #$PerceptualAgent
    #$Person
    #$SocialBeing
    #$SomethingExisting
    #$SpatialThing
    #$SpatialThing-Localized
    #$TemporalThing
    #$Thing
    #$TwoOrHigherDimensionalThing
    $

## Person isu ?;
(CycL #$isa)

    $ echo '#$Person isu ?x'| cycprint
    #$Collection
    #$ConventionalClassificationType
    #$CycLAtomicTerm
    #$CycLClosedAtomicTerm
    #$CycLClosedDenotationalTerm
    #$CycLClosedExpression
    #$CycLConstant
    #$CycLDenotationalTerm
    #$CycLExpression
    #$CycLIndexedTerm
    #$CycLReifiableDenotationalTerm
    #$CycLReifiedDenotationalTerm
    #$CycLRepresentedAtomicTerm
    #$CycLRepresentedTerm
    #$CycLTerm
    #$ELExpression
    #$ExistingObjectType
    #$FirstOrderCollection
    #$FixedOrderCollection
    #$HLExpression
    #$HLIndexedTerm
    #$HLReifiedDenotationalTerm
    #$Intangible
    #$MathematicalOrComputationalThing
    #$MathematicalThing
    #$ObjectType
    #$OrganismClassificationType
    #$PartiallyIntangible
    #$PublicConstant
    #$PublicConstant-CommentOK
    #$PublicConstant-DefinitionalGAFsOK
    #$SetOrCollection
    #$StuffType
    #$SubLExpression
    #$TemporalStuffType
    #$Thing
    $

MKE home