(=>
(equivalentContentInstance ?OBJ1 ?OBJ2)
(and
(subsumesContentInstance ?OBJ1 ?OBJ2)
(subsumesContentInstance ?OBJ2 ?OBJ1))) |
Merge.kif 4682-4686 |
If X is equivalent to Y, then X subsumes the content of Y and Y subsumes the content of X |
(=>
(subProposition ?PROP1 ?PROP2)
(forall (?OBJ1 ?OBJ2)
(=>
(and
(containsInformation ?OBJ1 ?PROP1)
(containsInformation ?OBJ2 ?PROP2))
(subsumesContentInstance ?OBJ2 ?OBJ1)))) |
Merge.kif 4758-4765 |
If X is a sub-proposition of Y, then For all ContentBearingPhysicals Z and W: if Z contains information X and W contains information Y, then W subsumes the content of Z |
(=>
(instance ?TEXT Summary)
(exists (?TEXT2)
(and
(instance ?TEXT2 Text)
(subsumesContentInstance ?TEXT2 ?TEXT)))) |
Merge.kif 15874-15879 |
If X is an instance of summary, then there exists Y such that Y is an instance of text and Y subsumes the content of X |
(=>
(instance ?SHOT MotionPictureShot)
(exists (?MOVIE)
(and
(instance ?MOVIE MotionPicture)
(subsumesContentInstance ?MOVIE ?SHOT)))) |
Mid-level-ontology.kif 16157-16162 |
If X is an instance of motion picture shot, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X |
(=>
(instance ?S MotionPictureScene)
(exists (?M)
(and
(instance ?M MotionPicture)
(subsumesContentInstance ?M ?S)))) |
Mid-level-ontology.kif 16181-16186 |
If X is an instance of motion picture scene, then there exists Y such that Y is an instance of motion picture and Y subsumes the content of X |
(=>
(instance ?SERIES Series)
(exists (?BOOK1 ?BOOK2)
(and
(instance ?BOOK1 Book)
(instance ?BOOK2 Book)
(subsumesContentInstance ?SERIES ?BOOK1)
(subsumesContentInstance ?SERIES ?BOOK2)
(not
(equal ?BOOK1 ?BOOK2))))) |
Mid-level-ontology.kif 16255-16263 |
If X is an instance of series, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of book (3) Z is an instance of book (4) X subsumes the content of Y (5) X subsumes the content of Z (6) equal Y (7) Z |
(=>
(and
(instance ?ARTICLE1 Article)
(instance ?BOOK Book)
(subsumesContentInstance ?BOOK ?ARTICLE1))
(exists (?ARTICLE2)
(and
(instance ?ARTICLE2 Article)
(not
(equal ?ARTICLE2 ?ARTICLE1))
(subsumesContentInstance ?BOOK ?ARTICLE2)))) |
Mid-level-ontology.kif 16287-16296 |
If X is an instance of article, Y is an instance of book, and Y subsumes the content of X, then there exists Z such that Z is an instance of article, equal Z, X, and Y subsumes the content of Z |
(=>
(instance ?CHAPTER Chapter)
(exists (?BOOK)
(and
(instance ?BOOK Book)
(subsumesContentInstance ?BOOK ?CHAPTER)))) |
Mid-level-ontology.kif 16303-16308 |
If X is an instance of chapter, then there exists Y such that Y is an instance of book and Y subsumes the content of X |
(=>
(instance ?PAPER Newspaper)
(exists (?REPORT)
(and
(instance ?REPORT Report)
(subsumesContentInstance ?PAPER ?REPORT)))) |
Mid-level-ontology.kif 16389-16394 |
If X is an instance of newspaper, then there exists Y such that Y is an instance of report and X subsumes the content of Y |
(=>
(instance ?E Elaborating)
(exists (?L ?EP ?LP)
(and
(instance ?L LinguisticCommunication)
(earlier ?L ?E)
(containsInformation ?E ?EP)
(containsInformation ?L ?LP)
(subsumesContentInstance ?EP ?LP)))) |
Mid-level-ontology.kif 32266-32274 |
If X is an instance of elaborating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information Z, Y contains information W, and Z subsumes the content of W |
(=>
(instance ?P Prompting)
(exists (?H ?A)
(and
(destination ?P ?H)
(agent ?P ?A)
(desires ?A
(exists (?LC)
(and
(instance ?LC LinguisticCommunication)
(agent ?LC ?H)
(earlier ?P ?LC)
(subsumesContentInstance ?LC ?P))))))) |
Mid-level-ontology.kif 32317-32329 |
If X is an instance of prompting, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Z is an agent of X (4) Z desires there exists W such that W is an instance of linguistic communication (5) Y is an agent of W (6) X happens earlier than W (7) W subsumes the content of X |
(=>
(instance ?FILE SoftwareFile)
(exists (?PROGRAM ?SUBPROGRAM)
(and
(instance ?PROGRAM ComputerProgram)
(subsumesContentInstance ?PROGRAM ?SUBPROGRAM)
(containsInformation ?FILE ?SUBPROGRAM)))) |
Media.kif 1481-1487 |
If X is an instance of software file, then there exist Y, Z such that Y is an instance of computer program, Y subsumes the content of Z, and X contains information Z |
(=>
(and
(instance ?REGISTRATION ShipRegistration)
(instance ?SHIP Ship)
(possesses ?SHIP ?REGISTRATION)
(instance ?AREA GeopoliticalArea)
(flagState ?SHIP ?AREA))
(subsumesContentInstance
(ShipRegisterFn ?AREA) ?REGISTRATION)) |
Transportation.kif 1097-1104 |
If X is an instance of ship registration, Y is an instance of ship, Y possesses X, Z is an instance of geopolitical area, and Z is a flag state of Y, then the ship register of Z subsumes the content of X |
(=>
(and
(instance ?SHIP Ship)
(instance ?AREA GeopoliticalArea)
(member ?SHIP
(MerchantMarineFn ?AREA)))
(exists (?REGISTRATION)
(and
(instance ?REGISTRATION ShipRegistration)
(possesses ?SHIP ?REGISTRATION)
(subsumesContentInstance
(ShipRegisterFn ?AREA) ?REGISTRATION)))) |
Transportation.kif 1157-1166 |
If X is an instance of ship, Y is an instance of geopolitical area, and X is a member of the merchant marine of Y, then there exists Z such that Z is an instance of ship registration, X possesses Z, and the ship register of Y subsumes the content of Z |
