Skip to content

Commit

Permalink
add relatedInternalConcept links
Browse files Browse the repository at this point in the history
  • Loading branch information
apease committed Aug 1, 2024
1 parent a9e149d commit 04229fb
Showing 1 changed file with 5 additions and 0 deletions.
5 changes: 5 additions & 0 deletions Mid-level-ontology.kif
Original file line number Diff line number Diff line change
Expand Up @@ -23686,6 +23686,7 @@ not imply that such wholes typically have such parts.")
(instance typicallyContainsPart BinaryPredicate)
(instance typicallyContainsPart SpatialRelation)
(relatedInternalConcept typicallyContainsPart part)
(relatedInternalConcept typicallyContainsPart typicalPart)
(documentation typicallyContainsPart EnglishLanguage "An instance of the second argument typically
contains an instance of the first argument. This is a
class-level relation roughly corresponding to &%part. Note that this does
Expand Down Expand Up @@ -23720,9 +23721,13 @@ not imply that such parts typically have such wholes.")
(part ?X2 ?Y)))))))
(greaterThan ?PARTPROB ?NOTPARTPROB))

(initiallyContainsPart Brain Human)
(initiallyContainsPart Heart Human)

(instance initialPart BinaryPredicate)
(instance initialPart SpatialRelation)
(relatedInternalConcept initialPart part)
(relatedInternalConcept initialPart initiallyContainsPart)
(documentation initialPart EnglishLanguage "Every instance of the first argument is initially
found as part of an instance of the second argument, even though it
might lose that part later in its lifetime. While the part must initially
Expand Down

0 comments on commit 04229fb

Please sign in to comment.