|
|
   PermanentResidence
|
|
|
| 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 15791-15792 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15790-15790 | PermanentResidence e' uma sub-classe de Residence |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15777-15777 | Residence e' disjuntamente decomponivel em PermanentResidence + TemporaryResidence |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 1538-1538 | ExecutiveResidence e' uma sub-classe de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15820-15820 | SingleFamilyResidence e' uma sub-classe de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45264-45264 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45263-45263 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 45262-45262 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14387-14387 | O argumento numero 2 de home e' uma instancia de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23228-23228 | O argumento numero 1 de homeAddress e' uma instancia de PermanentResidence |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6889-6889 | O argumento numero 2 de landlord e' uma instancia de PermanentResidence |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25026-25033 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15794-15797 |
|
|
|
|