(defrelation ADJACENT :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :CHARACTERISTICS :SYMMETRIC )(defrelation AFTER :IS (:INVERSE BEFORE ))
(defrelation AFTER+ :IS (:SATISFIES (?X ?Y) (:OR (AFTER ?X ?Y ) (:EXISTS (?Z) (:AND (AFTER ?X ?Z ) (AFTER+ ?Z ?Y ))))))
(defrelation AREA :DOMAIN PHYSICAL-OBJECT :RANGE NUMBER :FUNCTION NIL)
(defrelation BEFORE :DOMAIN CONTEXT :RANGE CONTEXT)
(defrelation BEFORE+ :IS (:SATISFIES (?X ?Y) (:OR (BEFORE ?X ?Y ) (:EXISTS (?Z) (:AND (BEFORE ?X ?Z ) (BEFORE+ ?Z ?Y ))))))
(defrelation CARGO-CAPACITY :RANGE NUMBER :CHARACTERISTICS :SINGLE-VALUED )
(defrelation CLOSE :IS (:SATISFIES (?X ?Y) (:SAME-AS (CONTAINED-BY ?X ) (CONTAINED-BY ?Y ))))
(defrelation COLOR :CHARACTERISTICS :SINGLE-VALUED )
(defrelation CONTAINED-BY :DOMAIN PHYSICAL-OBJECT)
(defrelation CONTAINER-HOLDS :IS (:INVERSE CONTAINED-BY ))
(defrelation DRIVE-TYPE :DOMAIN VEHICLE :RANGE DRIVE-TYPES :CHARACTERISTICS :SINGLE-VALUED )
(defrelation EAST :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation EASTQ :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation FILL-PATTERN :CHARACTERISTICS :SINGLE-VALUED )
(defrelation GROUP-IN :IS (:COMPOSITION GROUP-MEMBER IN ))
(defrelation GROUP-MEMBER :DOMAIN GROUP)
(defrelation GROUP-ON :IS (:COMPOSITION GROUP-MEMBER ON ))
(defrelation GROUP-SIZE :DOMAIN GROUP :RANGE '(:ONE-OF 'EMPTY 'SINGLETON 'PAIR 'PLATOON 'PLATOON+ 'COMPANY 'COMPANY+ 'BATTALION 'BATTALION+ 'BRIGADE 'BRIGADE+) :CHARACTERISTICS :SINGLE-VALUED )
(defrelation GUN-TYPE :DOMAIN VEHICLE :RANGE GUN-TYPES)
(defrelation HAS-GUN :DOMAIN VEHICLE :CHARACTERISTICS :SINGLE-VALUED )
(defrelation IN :DOMAIN PHYSICAL-OBJECT :RANGE CONTAINER-OBJECT :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation INTERSECTS :IS (:AND ADJACENT (:RANGE ROAD ) (:DOMAIN ROAD )) :CHARACTERISTICS :SYMMETRIC )
(defrelation LOCATION :CHARACTERISTICS :SINGLE-VALUED :FUNCTION NIL)
(defrelation MEMBER-OF-GROUP :IS (:INVERSE GROUP-MEMBER ))
(defrelation NEAR :IS (:SATISFIES (?X ?Y) (:OR (ADJACENT ?X ?Y ) (:EXISTS (?Z) (:AND (ADJACENT ?X ?Z ) (ADJACENT ?Z ?Y ))))))
(defrelation NEARBY :IS (:SATISFIES (?X ?Y) (NEAR (CONTAINED-BY ?X ) (CONTAINED-BY ?Y ))))
(defrelation NORTH :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation NORTH-EAST :IS (:AND NORTH EAST ) :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation NORTH-WEST :IS (:AND NORTH WEST ) :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation NORTHQ :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation ON :DOMAIN VEHICLE :RANGE AREAL-OBJECT :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation PERSONNEL-CAPACITY :RANGE INTEGER :CHARACTERISTICS :SINGLE-VALUED )
(defrelation POLYGON :CHARACTERISTICS :SINGLE-VALUED )
(defrelation RADIUS :CHARACTERISTICS :SINGLE-VALUED )
(defrelation RADIUS-OBJECT :CHARACTERISTICS :SINGLE-VALUED )
(defrelation SOUTH :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation SOUTH-EAST :IS (:AND SOUTH EAST ) :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation SOUTH-WEST :IS (:AND SOUTH WEST ) :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation SOUTHQ :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation VOLUME :DOMAIN PHYSICAL-OBJECT :RANGE NUMBER :FUNCTION NIL)
(defrelation WEST :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation WESTQ :DOMAIN VISUAL-ENTITY :RANGE VISUAL-ENTITY :PREDICATE NIL :CHARACTERISTICS :MULTIPLE-VALUED )
(defrelation WORLD)
(defrelation WORLD-NAME)
(defconcept APC :IS (:AND TRACKED-VEHICLE (:AT-LEAST 1 PERSONNEL-CAPACITY )))
(defconcept AREA :IS-PRIMITIVE (:AND VISUAL-ENTITY CONTAINER-OBJECT ))
(defconcept AREAL-OBJECT)
(defconcept BARRACKS :IS-PRIMITIVE BUILDING )
(defconcept BARRACKS-AREA :IS-PRIMITIVE AREA )
(defconcept BATTALION :IS (:AND VEHICLE-GROUP (:AT-LEAST 30 GROUP-MEMBER ) (:AT-MOST 55 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'BATTALION ))
(defconcept BATTALION+ :IS (:AND VEHICLE-GROUP (:AT-LEAST 56 GROUP-MEMBER ) (:AT-MOST 69 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'BATTALION+ ))
(defconcept BATTERY :IS (:AND COMPANY (:AT-LEAST 5 GROUP-MEMBER SP-ARTILLERY )))
(defconcept BIG-TRUCK :IS (:AND TRUCK (:RELATES > CARGO-CAPACITY 5.0 )))
(defconcept BLEACHERS :IS-PRIMITIVE STRUCTURE :IN-PARTITION $STRUCTURE-TYPE$ )
(defconcept BRIGADE :IS (:AND VEHICLE-GROUP (:AT-LEAST 70 GROUP-MEMBER ) (:AT-MOST 100 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'BRIGADE ))
(defconcept BRIGADE+ :IS (:AND VEHICLE-GROUP (:AT-LEAST 101 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'BRIGADE+ ))
(defconcept BUILDING :IS-PRIMITIVE STRUCTURE :IN-PARTITION $STRUCTURE-TYPE$ )
(defconcept CAR :IS (:AND WHEELED-VEHICLE (:AT-MOST 0 CARGO-CAPACITY )))
(defconcept COMPANY :IS (:AND VEHICLE-GROUP (:AT-LEAST 10 GROUP-MEMBER ) (:AT-MOST 20 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'COMPANY ))
(defconcept COMPANY+ :IS (:AND VEHICLE-GROUP (:AT-LEAST 21 GROUP-MEMBER ) (:AT-MOST 29 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'COMPANY+ ))
(defconcept CONSTRUCTION-ACTIVITY)
(defconcept CONTAINER-OBJECT)
(defconcept CONVOY :IS (:AND GROUP (:AT-LEAST 5 GROUP-MEMBER ) (:ALL GROUP-MEMBER VEHICLE ) (:SATISFIES (?C) (> (/ (COUNT (:COLLECT ?X (:AND (GROUP-MEMBER ?C ?X ) (:EXISTS (?R) (:AND (ROAD ?R ) (ON ?X ?R )))))) (COUNT (GROUP-MEMBER ?C )))0.65 ))))
(defconcept CRANE :IS-PRIMITIVE WHEELED-VEHICLE )
(defconcept DEPLOYED-UNIT :IS (:AND GROUP (:AT-LEAST 1 GROUP-MEMBER ) (:SATISFIES (?C) (> (/ (COUNT (:COLLECT ?X (:AND (GROUP-MEMBER ?C ?X ) (:EXISTS (?A) (:AND (FIELD ?A ) (ON ?X ?A )))))) (COUNT (GROUP-MEMBER ?C )))0.8 ))))
(defconcept DRIVE-TYPES :IS (:ONE-OF 'TRACK 'WHEEL ))
(defconcept EMPTY-GROUP :IS (:AND GROUP (:AT-MOST 0 GROUP-MEMBER ) (:FILLED-BY GROUP-SIZE 'EMPTY )))
(defconcept EXCAVATION :IS-PRIMITIVE CONSTRUCTION-ACTIVITY )
(defconcept FIELD :IS-PRIMITIVE (:AND PHYSICAL-OBJECT AREAL-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ )
(defconcept FUEL-TANK :IS-PRIMITIVE STRUCTURE :IN-PARTITION $STRUCTURE-TYPE$ )
(defconcept GENERAL-STORAGE-AREA :IS-PRIMITIVE AREA )
(defconcept GROUND-SCARRING :IS-PRIMITIVE CONSTRUCTION-ACTIVITY )
(defconcept GROUP)
(defconcept GROWTH-AREA :IS-PRIMITIVE (:AND PHYSICAL-OBJECT AREAL-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ )
(defconcept GUN-CARRYING-VEHICLE :IS (:AND VEHICLE (:AT-LEAST 1 HAS-GUN )))
(defconcept GUN-TYPES :IS (:ONE-OF 'DIRECT-FIRE 'INDIRECT-FIRE ))
(defconcept HEADQUARTERS :IS-PRIMITIVE BUILDING )
(defconcept HQ-AREA :IS-PRIMITIVE AREA )
(defconcept IN-GARRISON :IS (:AND GROUP (:AT-LEAST 1 GROUP-MEMBER ) (:SATISFIES (?C) (> (/ (COUNT (:COLLECT ?X (:AND (GROUP-MEMBER ?C ?X ) (:EXISTS (?A) (:AND ( GENERAL-STORAGE-AREA ?A ) (IN ?X ?A )))))) (COUNT (GROUP-MEMBER ?C )))0.8 ))))
(defconcept MAINTENANCE-AREA :IS-PRIMITIVE GENERAL-STORAGE-AREA )
(defconcept PAIR :IS (:AND GROUP (:EXACTLY 2 GROUP-MEMBER ) (:FILLED-BY GROUP-SIZE 'PAIR )))
(defconcept PARKING-LOT :IS-PRIMITIVE (:AND PHYSICAL-OBJECT AREAL-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ )
(defconcept PHYSICAL-OBJECT :IS-PRIMITIVE VISUAL-ENTITY :PARTITIONS $OBJECT-TYPE$ )
(defconcept PLATOON :IS (:AND VEHICLE-GROUP (:AT-LEAST 3 GROUP-MEMBER ) (:AT-MOST 5 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'PLATOON ))
(defconcept PLATOON+ :IS (:AND VEHICLE-GROUP (:AT-LEAST 6 GROUP-MEMBER ) (:AT-MOST 9 GROUP-MEMBER )) :IMPLIES (:FILLED-BY GROUP-SIZE 'PLATOON+ ))
(defconcept POWER-PLANT :IS-PRIMITIVE BUILDING )
(defconcept RAILROAD :IS-PRIMITIVE (:AND PHYSICAL-OBJECT AREAL-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ )
(defconcept ROAD :IS-PRIMITIVE (:AND PHYSICAL-OBJECT AREAL-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ )
(defconcept SINGLETON :IS (:AND GROUP (:EXACTLY 1 GROUP-MEMBER ) (:FILLED-BY GROUP-SIZE 'SINGLETON )))
(defconcept SMALL-TRUCK :IS (:AND TRUCK (:RELATES <= CARGO-CAPACITY 5.0 )))
(defconcept SMOKE-STACK :IS-PRIMITIVE STRUCTURE :IN-PARTITION $STRUCTURE-TYPE$ )
(defconcept SP-ARTILLERY :IS (:AND TRACKED-VEHICLE GUN-CARRYING-VEHICLE (:SOME GUN-TYPE (:ONE-OF 'INDIRECT-FIRE ))))
(defconcept STORAGE-AREA :IS-PRIMITIVE GENERAL-STORAGE-AREA )
(defconcept STRUCTURE :IS-PRIMITIVE (:AND PHYSICAL-OBJECT CONTAINER-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ :PARTITIONS $STRUCTURE-TYPE$ )
(defconcept TANK :IS (:AND TRACKED-VEHICLE GUN-CARRYING-VEHICLE (:ALL GUN-TYPE (:ONE-OF 'DIRECT-FIRE ))))
(defconcept TRACK :IS-PRIMITIVE (:AND PHYSICAL-OBJECT AREAL-OBJECT ) :IN-PARTITION $OBJECT-TYPE$ )
(defconcept TRACKED-VEHICLE :IS (:AND VEHICLE (:THE DRIVE-TYPE (:ONE-OF 'TRACK ))))
(defconcept TRUCK :IS (:AND WHEELED-VEHICLE (:AT-LEAST 1 CARGO-CAPACITY )))
(defconcept UNDER-REPAIR :IS (:AND GROUP (:AT-LEAST 1 GROUP-MEMBER ) (:ALL GROUP-MEMBER (:AND VEHICLE (:SOME IN MAINTENANCE-AREA )))))
(defconcept VEHICLE :IS-PRIMITIVE PHYSICAL-OBJECT )
(defconcept VEHICLE-GROUP :IS (:AND GROUP (:ALL GROUP-MEMBER VEHICLE )))
(defconcept VEHICLE-SHED :IS-PRIMITIVE BUILDING )
(defconcept VISUAL-ENTITY)
(defconcept WALL-RAISING :IS-PRIMITIVE CONSTRUCTION-ACTIVITY )
(defconcept WHEELED-VEHICLE :IS (:AND VEHICLE (:THE DRIVE-TYPE (:ONE-OF 'WHEEL ))))