| PermanentResidence(permanent residence) | | abode, domicile, dwelling, dwelling_house, habitation, home |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3595-3596 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14672-14673 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | Permanent residence is a subclass of residence |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14658-14658 | Residence is disjointly decomposed into permanent residence and temporary residence |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1524-1524 | Executive residence is a subclass of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14701-14701 | Single family residence is a subclass of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45247-45247 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45246-45246 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45245-45245 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13387-13387 | The number 2 argument of home is an instance of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19665-19665 | The number 1 argument of home address is an instance of permanent residence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5928-5928 | The number 2 argument of landlord is an instance of permanent residence |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21262-21269 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14675-14678 |
|
|
|
|