(=>
(and
(subclass ?PUB JointPublication)
(instance ?ONE ?PUB)
(containsInformation ?ONE ?CONTENT)
(authors ?JORG ?PUB))
(exists (?ORG)
(and
(subOrganization ?ORG USMilitary)
(confersObligation ?CONTENT ?JORG ?ORG)))) |
MilitaryProcesses.kif 940-949 |
|
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FactualText)
(authors ?AGENT ?CLASS)
(subsumesContentInstance ?TEXT ?CONTENT)
(instance ?CONTENT Formula))
(believes ?AGENT ?CONTENT)) |
Merge.kif 15474-15481 |
|
(=>
(and
(subclass ?PLATFORM PartyPlatform)
(authors ?PARTY ?PLATFORM)
(instance ?PARTY Organization))
(instance ?PARTY PoliticalParty)) |
Government.kif 2286-2291 |
|
(=>
(attribute ?H NewsReporter)
(hasPurpose ?H
(exists (?EV ?T ?NEWS)
(and
(instance ?EV Process)
(overlapsTemporally
(WhenFn ?EV)
(WhenFn ?H))
(instance ?T ?NEWS)
(or
(subclass ?NEWS Newspaper)
(subclass ?NEWS NewsProgram))
(authors ?H ?NEWS)
(refers ?T ?EV))))) |
Mid-level-ontology.kif 22155-22169 |
|
(=>
(attribute ?H ArtCritic)
(hasPurpose ?H
(exists (?AW ?T ?CLASS)
(and
(instance ?AW ArtWork)
(overlapsTemporally
(WhenFn ?AW)
(WhenFn ?H))
(instance ?T ?CLASS)
(subclass ?CLASS Article)
(authors ?H ?CLASS)
(refers ?T ?AW))))) |
Mid-level-ontology.kif 22178-22190 |
|
(=>
(and
(subclass ?PLATFORM PartyPlatform)
(authors ?PARTY ?PLATFORM)
(instance ?PARTY PoliticalParty)
(instance ?INST ?PLATFORM)
(containsFormula ?INST ?P))
(believes ?PARTY ?P)) |
Government.kif 2293-2300 |
|
(=>
(and
(instance ?TEXT ?CLASS)
(subclass ?CLASS FictionalText)
(authors ?AGENT ?CLASS))
(exists (?CONTENT)
(and
(subsumesContentInstance ?TEXT ?CONTENT)
(instance ?CONTENT Formula)
(not
(believes ?AGENT ?CONTENT))))) |
Merge.kif 15505-15514 |
|
(=>
(and
(attribute ?X Writer)
(instance ?TEXT ?CLASS)
(or
(subclass ?CLASS Text)
(subclass ?CLASS Document))
(instance ?WRITE Writing)
(agent ?WRITE ?X)
(result ?WRITE ?TEXT))
(authors ?X ?CLASS)) |
Biography.kif 730-740 |
|
