|
|
  FamilyPlanningCenters
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10982-10985 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9200-9200 | |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 10980-10980 | 家庭计划中心 是 门诊护理中心 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23224-23224 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23223-23223 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 23222-23222 |
|
|
|
