ModSim.kif

(subclass AdjustFires MilitaryOperation)
(documentation AdjustFires EnglishLanguage "To verify impact point of 
ordnance on selected targets and determine and recommend adjustments 
to the firing units to increase accuracy.")
(termFormat EnglishLanguage AdjustFires "adjust fires")
    
(=>
  (instance ?AF AdjustFires)
  (exists (?PROJ ?DESTROY ?A ?O)
    (and
      (target ?A ?O)
      (instance ?PROJ Projectile)
      (instance ?A Attack)
      (instance ?O Object)
      (subProcess ?AF ?A)
      (hasPurpose ?AF
        (exists (?DESTROY)
          (and
            (instance ?DESTROY Destruction)
            (subProcess ?DESTROY ?A)
            (instrument ?A ?PROJ)
            (patient ?DESTROY ?O)))))))
      
;; before adjusting fires, the target has not been destroyed
;; (not guaranteed successful after adjust fires)
(=>
  (and
    (instance ?AF AdjustFires)
    (subProcess ?AF ?A)
    (target ?A ?O))
  (not
    (exists (?DESTROY ?DESTROYTIME)
      (and
        (instance ?DESTROY Destruction)
        (patient ?DESTROY ?O)
        (before ?DESTROYTIME (WhenFn ?AF))))))
        
(subclass BathymetricMeasuring Measuring)
(documentation BathymetricMeasuring EnglishLanguage "measurement of the 
depth of water in oceans, rivers, or lakes")
(termFormat EnglishLanguage BathymetricMeasuring "bathymetric measuring")

(=>
  (instance ?BM BathymetricMeasuring)
  (exists (?WATERAREA ?ECHOSOUNDER ?DEPTH ?AGENT)
    (and
      (instance ?WATERAREA BodyOfWater)
      (instance ?ECHOSOUNDER Sonar)
      (instance ?AGENT CognitiveAgent)
      (patient ?BM ?WATERAREA)
      (instrument ?BM ?ECHOSOUNDER)
      (agent ?BM ?ECHOSOUNDER)
      (knows ?AGENT
        (waterDepth ?WATERAREA ?DEPTH)))))
    
(subclass Acknowledging Stating)
(documentation Acknowledging EnglishLanguage "Acknowledging is a communicative act that commits the speaker to the truth 'I have heard you.' It implies that there was a prior communication act. Different forms of acknowledging include nodding, sign-language signals, grunts, and well formed sentences such as 'I see,' 'Understood', or 'Got it'. Fake acknowledging, such as, superficial nods, made without genuine understanding is not true acknowledging.")
(termFormat EnglishLanguage Acknowledging "Acknowledging")

(=>
  (and
    (instance ?ACK Acknowledging)
    (instance ?SENDER Human)
    (instance ?RECEIVER Human)
    (agent ?ACK ?RECEIVER)
    (patient ?ACK ?SENDER))
  (containsFormula ?ACK
    (exists (?COMMUNICATION ?SENDER ?RECEIVER ?HEARING)
      (and
        (instance ?COMMUNICATION Communication)
        (instance ?HEARING Hearing)
        (agent ?COMMUNICATION ?SENDER)
        (patient ?COMMUNICATION ?RECEIVER)
        (experiencer ?HEARING ?RECEIVER)
        (subProcess ?HEARING ?COMMUNICATION)))))
        
(=>
  (and
    (instance ?ACK Acknowledging)
    (agent ?ACK ?RECEIVER)
    (patient ?ACK ?SENDER))
  (exists (?COMMUNICATION ?SENDER ?RECEIVER ?ACK)
    (and
      (instance ?COMMUNICATION Communication)
      (agent ?COMMUNICATION ?SENDER)
      (patient ?COMMUNICATION ?RECEIVER)
      (earlier 
        (WhenFn ?COMMUNICATION)
        (WhenFn ?ACK)))))
        
(subclass NetworkHacking NetworkCommunication)
(documentation NetworkHacking EnglishLanguage "To access networks to 
discover adversary's critical network vulnerabilities.")
(termFormat EnglishLanguage NetworkHacking "network hacking")

(instance VulnerableNetwork RelationalAttribute)
(documentation VulnerableNetwork EnglishLanguage "Vulnerability refers to 
the quality or state of being exposed to the possibility of being 
attacked or harmed, either physically or emotionally. [from Wikipedia]")
(termFormat EnglishLanguage VulnerableNetwork "vulnerable network")

(=>
  (and
    (instance ?CN ComputerNetwork)
    (attribute ?CN VulnerableNetwork))
  (exists (?NETWORKOWNER)
    (and
      (instance ?NETWORKOWNER Human)
    (modalAttribute
      (exists (?PERSON ?NL ?CN)
        (and
          (instance ?PERSON Human)
          (instance ?NL NetworkLogin)
          (agent ?NL ?PERSON)
          (patient ?CN ?PERSON))) Possibility)
      (not
        (desires ?NETWORKOWNER
          (exists (?PERSON ?NL)
            (and
              (instance ?PERSON Human)
              (instance ?NL NetworkLogin)
              (agent ?NL ?PERSON)
              (patient ?CN ?PERSON))))))))

(subclass NetworkLogin LoggingIn)
(=>
  (instance ?NL NetworkLogin)
  (exists (?CN ?NL)
    (and
      (instance ?CN ComputerNetwork)
      (instrument ?NL ?CN))))
      
(subclass AccessingNetwork IntentionalProcess)
(=>
  (and
    (instance ?NL NetworkLogin)
    (instance ?CN ComputerNetwork)
    (instance ?USER Human)
    (instance ?COMPUTER Computer)
    (agent ?NL ?USER)
    (patient ?NL ?CN)
    (part ?COMPUTER ?CN))
  (modalAttribute
    (exists (?LOGIN ?USER ?COMPUTER)
      (and
        (instance ?LOGIN LoggingIn)
        (agent ?LOGIN ?USER)
        (patient ?LOGIN ?COMPUTER))) Possibility))
        
(subclass Wargaming Game)
(documentation Wargaming EnglishLanguage "a type of strategy game which realistically simulates warfare")
(termFormat EnglishLanguage Wargaming "wargaming")

(=>
  (instance ?WARGAMING Wargaming)
  (exists (?MILITARYOFFICER ?SIMULATION ?TOOL)
    (and
      (instance ?MILITARYOFFICER MilitaryOfficer)
      (instance ?SIMULATION Imagining)
      (instance ?TOOL Device)
      (agent ?WARGAMING ?MILITARYOFFICER)
      (patient ?WARGAMING ?SIMULATION)
      (instrument ?WARGAMING ?TOOL))))
      
(subclass AtmosphericEnvironmentalMeasurement Measuring)
(documentation AtmosphericEnvironmentalMeasurement EnglishLanguage "observe the environmental properties of the air")
(termFormat EnglishLanguage AtmosphericEnvironmentalMeasurement "atmospheric environmental measurement")

(=>
  (instance ?AEM AtmosphericEnvironmentalMeasurement)
  (exists (?ATMOSPHERE ?AGENT)
    (and
      (instance ?ATMOSPHERE Atmosphere)
      (instance ?AGENT CognitiveAgent)
      (agent ?AEM ?AGENT)
      (patient ?AEM ?ATMOSPHERE))))
      
(subclass PatternedSearching Searching)
(documentation PatternedSearching EnglishLanguage "A search where through
every part of an area to located a specified object, where no subarea is left unchecked,
even if the object is not found")
(termFormat EnglishLanguage PatternedSearching "patterned searching")

(=>
  (and
    (instance ?PETTERNEDSEARCHING PatternedSearching)
    (instance ?AREA GeographicArea)
    (located ?PETTERNEDSEARCHING ?AREA))
  (exists (?AGENT ?OBJECT ?SEARCH)
    (and
      (instance ?OBJECT Physical)
      (instance ?SEARCH Searching)
      (instance ?AGENT CognitiveAgent)
      (hasPurposeForAgent ?SEARCH
        (knows ?AGENT
          (located ?OBJECT ?AREA)) ?AGENT)
      (not
        (exists (?SUBAREA ?AREA ?SEARCH)
          (and
            (instance ?SUBAREA GeographicArea)
            (part ?SUBAREA ?AREA)
            (patient ?SEARCH ?SUBAREA)))))))