Deductions
- multi-story urban building is for example O'Neill House Office Building ⇐ (O'Neill House Office Building is a multi-story urban building), (is a is inverse of is for example)
- multi-story urban building has quality sign system ⇐ (multi-story urban building has quality quantity), (quantity has quality sign system), (has quality is a transitive relation)
- multi-story urban building has quality level of measurement ⇐ (multi-story urban building has quality quantity), (quantity has quality level of measurement), (has quality is a transitive relation)
- multi-story urban building has quality type ⇐ (multi-story urban building has quality quantity), (quantity has quality type), (has quality is a transitive relation)
- multi-story urban building has quality class ⇐ (multi-story urban building has quality quantity), (quantity has quality class), (has quality is a transitive relation)
- multi-story urban building has quality quality ⇐ (multi-story urban building has quality type of property), (type of property has quality quality), (has quality is a transitive relation)
- multi-story urban building has quality criterion ⇐ (multi-story urban building has quality type of property), (type of property has quality criterion), (has quality is a transitive relation)
- multi-story urban building has quality entity ⇐ (multi-story urban building has quality abstract entity), (abstract entity has quality entity), (has quality is a transitive relation)
- multi-story urban building has quality existence ⇐ (multi-story urban building has quality abstract entity), (abstract entity has quality existence), (has quality is a transitive relation)
- multi-story urban building has quality superclass ⇐ (multi-story urban building has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- multi-story urban building has quality taxonomic rank ⇐ (multi-story urban building has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- O'Neill House Office Building is a multi-story urban building ⇐ (low-rise building is subclass of multi-story urban building), (O'Neill House Office Building is a low-rise building)
- multi-story urban building has quality abstract entity ⇐ (property is a abstract entity), (multi-story urban building has quality property)
- multi-story urban building has quality type of property ⇐ (quantity is a type of property), (multi-story urban building has quality quantity)
- multi-story urban building has quality property ⇐ (quantity is subclass of property), (multi-story urban building has quality quantity)
- multi-story urban building has quality quantity ⇐ (number of floors is subclass of quantity), (multi-story urban building has quality number of floors)
- low-rise building is subclass of multi-story urban building ⇐ (tower block is subclass of multi-story urban building), (tower block is opposite of low-rise building)