• If an attribute is an attribute of an object and the attribute is an instance of ambience,
• then the object is an instance of physical

• If historical is an attribute of an object and the object is an instance of city,
• then there exists another object such that the other object is an instance of physical and historical is an attribute of the other object and the other object is located at 2

• If a collection is an instance of collection and for all a physical
  • if the physical is a member of the collection,
  • then the physical is an instance of financial transaction
  ,
• then the number of instances in the class described by a symbolic string is equal to number of items purchased in the collection

• If a collection is an instance of collection and for all a physical
  • if the physical is a member of the collection,
  • then the physical is an instance of web listing
  ,
• then the number of instances in the class described by a symbolic string is equal to number of bids in the collection

• If a collection is an instance of collection and for all a physical
  • if the physical is a member of the collection,
  • then the physical is an instance of web listing
  ,
• then the number of instances in the class described by a symbolic string and the number of instances in the collection is equal to number of bids in the collection

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__THING,s__Agent))
       =>
       (((s__instance(s__enemy__m,s__ObjectAttitude) &
             s__enemy(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__THING,s__Object))
       =>
       (((s__instance(s__dislikes__m,s__ObjectAttitude) &
             s__dislikes(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__THING,s__Physical))
       =>
       (((s__instance(s__wants__m,s__ObjectAttitude) &
             s__wants(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

( ! [V__AGENT,V__THING] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__THING,s__Physical))
       =>
       (((s__instance(s__needs__m,s__ObjectAttitude) &
             s__needs(V__AGENT,V__THING))
         =>
         (s__instance(V__THING,s__Physical)))))
   )
)

• If an entity is an instance of object attitude and the entity another entity and a third entity,
• then the third entity is an instance of physical

• If historical is an attribute of an object,
• then the object is an instance of physical

• If a process is an instance of final fee,
• then there exist a web listing, a financial transaction,, , an agent,, , an entity and a WebSite such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the WebSite and the agent possesses the WebSite and the agent facilitates the financial transaction

• If an entity is an instance of representational art work,
• then there exists another entity such that the other entity is an instance of physical and the entity expresses the other entity

• If a process is an instance of Searching,
• then there exist an agent, a physical and an object such that the agent is an instance of cognitive agent and the agent is an agent of the process and the physical is an instance of physical and the physical is a patient of the process and the object is an instance of object and the physical is located at the object and the process has the purpose the agent knows the physical is located at the object for the agent

• If an entity is an instance of view,
• then there exists another entity such that the other entity is an instance of physical and the entity expresses the other entity

• If a database is the catalog for a WebSite,
• then there exists an object such that a collection is an instance of collection and the object is a part of the database and the object expresses the collection and for all another object
  • if the other object is a member of the collection,
  • then the other object is an instance of physical and the other object is capable of doing the class described by a symbolic string as a patient