| (subclass FormalMeeting Meeting) | Mid-level-ontology.kif 15988-15988 | Formal meeting is a subclass of meeting |
| (subclass Funeral FormalMeeting) | Mid-level-ontology.kif 16003-16003 | Funeral is a subclass of formal meeting |
| (subclass Interviewing FormalMeeting) | Mid-level-ontology.kif 16039-16039 | Interviewing is a subclass of formal meeting |
| (subclass TradeShow FormalMeeting) | ComputingBrands.kif 2381-2381 | Trade show is a subclass of formal meeting |
|
|