(<=>
(modalAttribute ?F1 Legal)
(not
(exists (?F2)
(and
(modalAttribute ?F2 Law)
(not
(consistent ?F1 ?F2)))))) |
Mid-level-ontology.kif 13877-13884 |
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 13889-13896 |
|
(=>
(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 29742-29754 |
|
(=>
(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 13203-13216 |
- 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
|