| (subclass VirtualPlaceID PlaceID) | Mid-level-ontology.kif 24867-24867 | VirtualPlaceID は PlaceID の subclass では %n |
| (subclass VirtualAddress VirtualPlaceID) | Mid-level-ontology.kif 24870-24870 | VirtualAddress は VirtualPlaceID の subclass では %n |
| (subclass AccountID VirtualPlaceID) | Media.kif 2926-2926 | AccountID は VirtualPlaceID の subclass では %n |
|
|