subAttribute |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 673-673 | sub attribute and successor attribute are disjoint |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1534-1535 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 675-676 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 671-671 | The number 1 argument of sub attribute is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 672-672 | The number 2 argument of sub attribute is an instance of attribute |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 669-669 | sub attribute is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 670-670 | sub attribute is an instance of partial ordering relation |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 317-317 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 322-322 | |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 318-318 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55670-55670 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 55669-55669 |
antecedent |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3894-3894 | Abrasive product manufacturing is a subattribute of other nonmetallic mineral product manufacturing |
No TPTP formula. May not be expressible in strict first order. | Dining.kif 1477-1477 | Abruzzese Cuisine is a subattribute of Italian Cuisine |
No TPTP formula. May not be expressible in strict first order. | Government.kif 315-315 | Absolute monarchy is a subattribute of authoritarian regime |
No TPTP formula. May not be expressible in strict first order. | Government.kif 228-228 | Absolute monarchy is a subattribute of monarchy |
No TPTP formula. May not be expressible in strict first order. | naics.kif 11559-11559 | Accommodation is a subattribute of accommodation and food services |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9900-9900 | Accounting tax preparation bookkeeping and payroll services is a subattribute of professional scientific and technical services |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4420-4420 | Acting consul general is a subattribute of consul general |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9289-9289 | Activities related to credit intermediation is a subattribute of credit intermediation and related activities |
No TPTP formula. May not be expressible in strict first order. | naics.kif 9647-9647 | Activities related to real estate is a subattribute of RealEstateIndustry |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18159-18159 | Actor is a subattribute of Performer |
No TPTP formula. May not be expressible in strict first order. | Biography.kif 120-120 | Actuary is a subattribute of Scientist |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 5710-5710 | AcuteBronchitis is a subattribute of bronchitis |
No TPTP formula. May not be expressible in strict first order. | naics.kif 3387-3387 | Adhesive manufacturing is a subattribute of paint coating and adhesive manufacturing |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12355-12355 | Administration of air and water resource and solid waste management programs is a subattribute of administration of environmental quality programs |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12364-12364 | Administration of conservation programs is a subattribute of administration of environmental quality programs |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12395-12395 | Administration of economic programs is a subattribute of public administration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12317-12317 | Administration of education programs is a subattribute of administration of human resource programs |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12348-12348 | Administration of environmental quality programs is a subattribute of public administration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12401-12401 | Administration of general economic programs is a subattribute of administration of economic programs |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12379-12379 | Administration of housing programs is a subattribute of administration of housing programs urban planning and community development |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12371-12371 | Administration of housing programs urban planning and community development is a subattribute of public administration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12311-12311 | Administration of human resource programs is a subattribute of public administration |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12331-12331 | Administration of human resource programs except education public health and veterans affairs programs is a subattribute of administration of human resource programs |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12324-12324 | Administration of public health programs is a subattribute of administration of human resource programs |
No TPTP formula. May not be expressible in strict first order. | naics.kif 12386-12386 | Administration of urban planning and community and rural development is a subattribute of administration of housing programs urban planning and community development |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |
![]() |