(subclass Ordering Directing) | Merge.kif 13204-13204 | Ordering is a subclass of directing |
(subclass OperationOrder Ordering) | MilitaryProcesses.kif 1657-1657 | Operation order is a subclass of ordering |
(subclass LegalSummons Ordering) | Mid-level-ontology.kif 16221-16221 | Legal summons is a subclass of ordering |