Deductions
- Saudi-led intervention in the Yemeni civil war has quality class ⇐ (quality is a class), (Saudi-led intervention in the Yemeni civil war has quality quality)
- Saudi-led intervention in the Yemeni civil war has quality abstract entity ⇐ (type is a abstract entity), (Saudi-led intervention in the Yemeni civil war has quality type)
- Saudi-led intervention in the Yemeni civil war has quality entity ⇐ (type is a entity), (Saudi-led intervention in the Yemeni civil war has quality type)
- military activity is for example Saudi-led intervention in the Yemeni civil war ⇐ (Saudi-led intervention in the Yemeni civil war is a military activity), (is a is inverse of is for example)
- Saudi-led intervention in the Yemeni civil war has quality type ⇐ (Saudi-led intervention in the Yemeni civil war is a military activity), (military activity has quality type)
- Saudi-led intervention in the Yemeni civil war has quality property ⇐ (Saudi-led intervention in the Yemeni civil war is a military activity), (military activity has quality property)
- Saudi-led intervention in the Yemeni civil war has quality existence ⇐ (Saudi-led intervention in the Yemeni civil war is a military activity), (military activity has quality existence)
- Saudi-led intervention in the Yemeni civil war has quality criterion ⇐ (Saudi-led intervention in the Yemeni civil war is a military activity), (military activity has quality criterion)
- Saudi-led intervention in the Yemeni civil war has quality quality ⇐ (Saudi-led intervention in the Yemeni civil war is a military activity), (military activity has quality quality)
- Saudi-led intervention in the Yemeni civil war is a military activity ⇐ (military operation is subclass of military activity), (Saudi-led intervention in the Yemeni civil war is a military operation)
- military operation is for example Saudi-led intervention in the Yemeni civil war ⇐ (Saudi-led intervention in the Yemeni civil war is a military operation), (is a is inverse of is for example)