(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13849-13856 |
Die Aussage Formula hat die modale Kraft von Legal genau dann wenn es gibt nicht ** Formula um die Aussage ** ** Formula hat die modale Kraft von Law und consistent ** Formula and ** ** Formula |
(=>
(and
(instance ?CAO CivilAffairsOperation)
(located ?CAO ?NATION)
(instance ?NATION Nation)
(instance ?LAW
(RegionalLawFn ?NATION))
(realization ?CAO ?CONTENT))
(consistent ?LAW ?CONTENT)) |
MilitaryProcesses.kif 2244-2252 |
|
(=>
(instance ?ACTION CriminalAction)
(exists (?LAW ?CONTENT ?CRIME)
(and
(modalAttribute ?LAW Law)
(containsInformation ?LAW ?CONTENT)
(realization ?ACTION ?CRIME)
(not
(consistent ?CONTENT ?CRIME))))) |
Mid-level-ontology.kif 13861-13868 |
|
(=>
(instance ?C Correcting)
(exists (?D ?S ?SP ?CP)
(and
(instance ?D Disagreeing)
(subProcess ?C ?D)
(instance ?S Stating)
(subProcess ?S ?D)
(containsInformation ?S ?SP)
(containsInformation ?C ?CP)
(refers ?CP ?SP)
(not
(consistent ?CP ?SP))))) |
Mid-level-ontology.kif 29679-29691 |
|
(=>
(instance ?DIS Disagreeing)
(exists (?A1 ?A2 ?STATE1 ?STATE2 ?STMT1 ?STMT2)
(and
(subProcess ?STATE1 ?DIS)
(subProcess ?STATE2 ?DIS)
(agent ?STATE1 ?A1)
(agent ?STATE2 ?A2)
(not
(equal ?A1 ?A2))
(containsInformation ?STATE1 ?STMT1)
(containsInformation ?STATE2 ?STMT2)
(not
(consistent ?STMT1 ?STMT2))))) |
Merge.kif 13179-13192 |
- Wenn Process ist ein fall von Disagreeing %n{nicht},
- dann es gibt AutonomousAgent, ** AutonomousAgent,, , ** Process,, , ** Process,, , Proposition, and und ** Proposition um ** ** Process ist ein subProzess von ** Process und ** ** Process ist ein subProzess von ** Process und ** ** Process ist der agent von ** AutonomousAgent %n{nicht} und ** ** Process ist der agent von ** ** AutonomousAgent %n{nicht} und ** AutonomousAgent ist gleich ** ** AutonomousAgent nicht und ** ** Process enthaelt Informationen ueber ** Proposition und ** ** Process enthaelt Informationen ueber ** ** Proposition und consistent ** Proposition and ** ** Proposition
|