( ! [V__COUNTRY1,V__ROLE,V__COUNTRY2] :
(((s__instance(V__COUNTRY1,s__Nation) &
s__instance(V__ROLE,s__Position) &
s__instance(V__COUNTRY2,s__Agent))
=>
(((s__diplomaticRepresentationType(V__COUNTRY1,V__ROLE,V__COUNTRY2)
&
s__subAttribute(V__ROLE,s__DiplomaticAgent))
=>
(( ? [V__PERSON] :
((s__instance(V__PERSON,s__Human) &
s__citizen(V__PERSON,V__COUNTRY1)
&
s__diplomaticRepresentativeInRole(V__COUNTRY1,V__PERSON,V__ROLE,V__COUNTRY2))))))))
)
)
|
Government.kif 4558-4566 |
|
( ! [V__AGENT,V__TYPE] :
((s__instance(V__TYPE,s__FormOfGovernment) =>
(((s__governmentType(V__AGENT,V__TYPE)
&
s__subAttribute(V__TYPE,s__TheocraticGovernment) &
s__instance(V__AGENT,s__GeopoliticalArea))
=>
(s__instance(s__GovernmentFn(V__AGENT)
,s__ReligiousOrganization)))))
)
)
|
Government.kif 340-345 |
|
( ! [V__AGENT,V__TYPE] :
((s__instance(V__TYPE,s__FormOfGovernment) =>
(((s__governmentType(V__AGENT,V__TYPE)
&
s__subAttribute(V__TYPE,s__TheocraticGovernment) &
s__instance(V__AGENT,s__Organization))
=>
(s__instance(V__AGENT,s__ReligiousOrganization)))))
)
)
|
Government.kif 333-338 |
|
( ! [V__PLACE,V__TYPE] :
((s__instance(V__TYPE,s__FormOfGovernment) =>
(((s__governmentType(V__PLACE,V__TYPE)
&
s__instance(V__PLACE,s__GeopoliticalArea) &
s__subAttribute(V__TYPE,s__ParliamentaryGovernment))
=>
(( ? [V__ORG] :
((s__instance(V__ORG,s__Parliament) &
s__subOrganization(V__ORG,s__GovernmentFn(V__PLACE)))))))))
)
)
|
Government.kif 244-252 |
|
( ! [V__RECEIVER,V__ROLE,V__PERSON,V__SENDER] :
((s__instance(V__ROLE,s__Position) =>
(((s__instance(V__SENDER,s__Nation) &
s__instance(V__RECEIVER,s__Nation) &
s__instance(V__PERSON,s__Human) &
s__attribute(V__PERSON,V__ROLE)
&
s__subAttribute(V__ROLE,s__DiplomaticAgent) &
s__representativeAgentToAgent(V__SENDER,V__PERSON,V__RECEIVER))
=>
(s__diplomaticRepresentationType(V__SENDER,V__ROLE,V__RECEIVER)))))
)
)
|
Government.kif 4597-4605 |
|
( ! [V__ORG,V__AIM,V__OVERAIM] :
(((s__instance(V__ORG,s__Agent) &
s__instance(V__AIM,s__AreaOfConcern) &
s__instance(V__OVERAIM,s__AreaOfConcern))
=>
(((s__organizationalObjective(V__ORG,V__AIM)
&
s__subAttribute(V__AIM,V__OVERAIM))
=>
(s__organizationalObjective(V__ORG,V__OVERAIM)))))
)
)
|
Government.kif 2588-2592 |
|
( ! [V__CLASS,V__ATTR1,V__ATTR2] :
(((s__instance(V__CLASS,s__Class) &
s__instance(V__ATTR1,s__Attribute) &
s__instance(V__ATTR2,s__Attribute))
=>
(((s__subAttribute(V__ATTR1,V__ATTR2)
&
s__instance(V__ATTR2,V__CLASS))
=>
(s__instance(V__ATTR1,V__CLASS)))))
)
)
|
Merge.kif 668-672 |
|
( ! [V__ATTR1,V__ATTR2] :
(((s__instance(V__ATTR1,s__Attribute) &
s__instance(V__ATTR2,s__Attribute))
=>
((s__subAttribute(V__ATTR1,V__ATTR2)
=>
(( ! [V__OBJ] :
((s__property(V__OBJ,V__ATTR1)
=>
(s__property(V__OBJ,V__ATTR2)))))))))
)
)
|
Merge.kif 661-666 |
|
