Residence![]() ![]() | ![]() |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(disjoint MobileResidence Residence) | Mid-level-ontology.kif 7768-7768 | MobileResidence と Residence は disjoint では |
(subclass PermanentResidence Residence) | Merge.kif 15940-15940 | PermanentResidence は Residence の subclass では |
(subclass ResidentialBuilding Residence) | Merge.kif 15954-15954 | ResidentialBuilding は Residence の subclass では |
(subclass TemporaryResidence Residence) | Merge.kif 15949-15949 | TemporaryResidence は Residence の subclass では |
(termFormat ChineseLanguage Residence "住宅") | domainEnglishFormat.kif 49626-49626 | TemporaryResidence は Residence の subclass では |
(termFormat ChineseTraditionalLanguage Residence "住宅") | domainEnglishFormat.kif 49625-49625 | TemporaryResidence は Residence の subclass では |
(termFormat EnglishLanguage Residence "residence") | domainEnglishFormat.kif 49624-49624 | TemporaryResidence は Residence の subclass では |
appearance as argument number 3 |
![]() |
(domain tenant 2 Residence) | Mid-level-ontology.kif 8066-8066 | tenant の数値 2 引数は Residence の instance では |
antecedent |
![]() |
(=> (and (instance ?AGENT Human) (holdsDuring ?TIME (and (deviceTelecomNumber ?NUMBER ?DEVICE) (telephoneNumber ?NUMBER ?AGENT) (located ?DEVICE ?PLACE) (instance ?PLACE Residence)))) (holdsDuring ?TIME (inhabits ?AGENT ?PLACE))) |
Mid-level-ontology.kif 26697-26706 | |
(=> (instance ?RESIDENCE Residence) (or (instance ?RESIDENCE House) (exists (?BUILDING) (and (instance ?BUILDING ResidentialBuilding) (part ?RESIDENCE ?BUILDING))))) |
Merge.kif 15931-15938 |
statement |
![]() |
(subclass MedicalClinicBuilding (ComplementFn Residence)) |
Mid-level-ontology.kif 8833-8833 | MedicalClinicBuilding は Residence の complement の subclass では |
![]() |
![]() |