Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  subAttribute

 Sigma KEE - subAttribute
subAttribute

appearance as argument number 1
-------------------------


(disjointRelation subAttribute successorAttribute) Merge.kif 684-684 不相交的關係 子屬性 and 繼承屬性
(documentation subAttribute ChineseLanguage "这意思是第二个参数的属性可以归因于所有第一个参数 所归因的属性。") chinese_format.kif 1534-1535
(documentation subAttribute EnglishLanguage "Means that the second argument can be ascribed to everything which has the first argument ascribed to it.") Merge.kif 686-687
(documentation subAttribute JapaneseLanguage "2番目の引数が、最初の引数が割り当てられているす べてのものに割り当てられる、という意味である。") japanese_format.kif 100-101
(documentation subAttribute SpanishLanguage "Quiere decir que el segundo argumento puede ser atribuido a todo lo que se han sido atribuido al primer argumento.") spanish_format.kif 117-118
(domain subAttribute 1 Attribute) Merge.kif 682-682 域 子屬性, 1 and Attribute
(domain subAttribute 2 Attribute) Merge.kif 683-683 域 子屬性, 2 and Attribute
(instance subAttribute BinaryPredicate) Merge.kif 680-680 例 子屬性 and BinaryPredicate
(instance subAttribute PartialOrderingRelation) Merge.kif 681-681 例 子屬性 and PartialOrderingRelation

appearance as argument number 2
-------------------------


(format ChineseLanguage subAttribute "%1 %n 是 %2 的 subAttribute") chinese_format.kif 317-317
(format EnglishLanguage subAttribute "%1 is %n a subattribute of %2") english_format.kif 322-322
(format FrenchLanguage subAttribute "%1 est %n un sous-attribut de %2") french_format.kif 181-181
(format ItalianLanguage subAttribute "%1 è %n un sottoattributo di %2") relations-it.txt 270-270
(format JapaneseLanguage subAttribute "%1 は %2 の subattribute では %n") japanese_format.kif 2001-2001
(format PortugueseLanguage subAttribute "%1 e' %n um sub-atributo de %2") portuguese_format.kif 133-133
(format cz subAttribute "%1 %p{je} %n{nen�} a subattribute of %2") relations-cz.txt 194-194
(format de subAttribute "%1 ist ein teilattribut von %2") relations-de.txt 416-416
(format hi subAttribute "%1 %2 kii gauNa visheshhataa %n hai") relations-hindi.txt 307-307
(format ro subAttribute "%1 %n{nu} este un subattribute%t{subatribut} al lui %2") relations-ro.kif 201-201
(format sv subAttribute "%1 är %n{inte} ett underattribut till %2") relations-sv.txt 191-191
(format tg subAttribute "%1 %n ay ang katangian mas tiyak ng %2") relations-tg.txt 462-462
(termFormat ChineseLanguage subAttribute "子属性") chinese_format.kif 318-318
(termFormat ChineseTraditionalLanguage subAttribute "子屬性") domainEnglishFormat.kif 55691-55691
(termFormat EnglishLanguage subAttribute "sub attribute") domainEnglishFormat.kif 55690-55690

antecedent
-------------------------


(=>
    (and
        (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2)
        (subAttribute ?ROLE DiplomaticAgent))
    (exists (?PERSON)
        (and
            (instance ?PERSON Human)
            (citizen ?PERSON ?COUNTRY1)
            (diplomaticRepresentativeInRole ?COUNTRY1 ?PERSON ?ROLE ?COUNTRY2))))		 Government.kif 4582-4590
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT GeopoliticalArea))
    (instance
        (GovernmentFn ?AGENT) ReligiousOrganization))		 Government.kif 352-357
(=>
    (and
        (governmentType ?AGENT ?TYPE)
        (subAttribute ?TYPE TheocraticGovernment)
        (instance ?AGENT Organization))
    (instance ?AGENT ReligiousOrganization))		 Government.kif 345-350
(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))		 Government.kif 256-264
(=>
    (and
        (instance ?SENDER Nation)
        (instance ?RECEIVER Nation)
        (instance ?PERSON Human)
        (attribute ?PERSON ?ROLE)
        (subAttribute ?ROLE DiplomaticAgent)
        (representativeAgentToAgent ?SENDER ?PERSON ?RECEIVER))
    (diplomaticRepresentationType ?SENDER ?ROLE ?RECEIVER))		 Government.kif 4621-4629
(=>
    (and
        (organizationalObjective ?ORG ?AIM)
        (subAttribute ?AIM ?OVERAIM))
    (organizationalObjective ?ORG ?OVERAIM))		 Government.kif 2602-2606
(=>
    (and
        (subAttribute ?ATTR1 ?ATTR2)
        (instance ?ATTR2 ?CLASS))
    (instance ?ATTR1 ?CLASS))		 Merge.kif 696-700
(=>
    (subAttribute ?ATTR1 ?ATTR2)
    (forall (?OBJ)
        (=>
            (property ?OBJ ?ATTR1)
            (property ?OBJ ?ATTR2))))		 Merge.kif 689-694

consequent
-------------------------


(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY1 ?ROLE ?COUNTRY2))))		 Government.kif 4557-4563
(=>
    (diplomaticRelations ?COUNTRY1 ?COUNTRY2)
    (exists (?ROLE)
        (and
            (instance ?ROLE ForeignServicePosition)
            (subAttribute ?ROLE DiplomaticAgent)
            (diplomaticRepresentationType ?COUNTRY2 ?ROLE ?COUNTRY1))))		 Government.kif 4565-4571
(=>
    (instance ?ROLE ForeignServicePosition)
    (subAttribute ?ROLE DiplomaticAgent))		 Government.kif 4408-4410

appearance as argument number 0
-------------------------


(subAttribute AONOrder FinancialOrder) FinancialOntology.kif 2899-2899 子屬性 AON 訂單 and 金融秩序
(subAttribute AbrasiveProductManufacturing OtherNonmetallicMineralProductManufacturing) naics.kif 3894-3894 子屬性 磨料產品製造 and 其他非金屬礦產品製造
(subAttribute AbruzzeseCuisine ItalianCuisine) Dining.kif 1524-1524 子屬性 AbruzzeseCuisine and ItalianCuisine
(subAttribute AbsoluteMonarchy AuthoritarianRegime) Government.kif 327-327 子屬性 絕對君主制 and 威權政權
(subAttribute AbsoluteMonarchy Monarchy) Government.kif 240-240 子屬性 絕對君主制 and 帝制
(subAttribute Accommodation AccommodationAndFoodServices) naics.kif 11559-11559 子屬性 住所 and 住宿和餐飲服務
(subAttribute AccountingTaxPreparationBookkeepingAndPayrollServices ProfessionalScientificAndTechnicalServices) naics.kif 9900-9900 子屬性 會計稅務準備簿記和工資單服務 and 專業的科技服務
(subAttribute ActingConsulGeneral ConsulGeneral) Government.kif 4440-4440 子屬性 代理總領事 and 總領事
(subAttribute ActivitiesRelatedToCreditIntermediation CreditIntermediationAndRelatedActivities) naics.kif 9289-9289 子屬性 與信貸中介有關的活動 and 信貸中介及相關活動
(subAttribute ActivitiesRelatedToRealEstate RealEstateIndustry) naics.kif 9647-9647 子屬性 與房地產有關的活動 and RealEstateIndustry
(subAttribute Actor Performer) Mid-level-ontology.kif 18808-18808 子屬性 Actor and Performer
(subAttribute Actuary Scientist) Biography.kif 353-353 子屬性 精算師 and Scientist
(subAttribute AcuteBronchitis Bronchitis) Mid-level-ontology.kif 6030-6030 子屬性 AcuteBronchitis and Bronchitis
(subAttribute AdhesiveManufacturing PaintCoatingAndAdhesiveManufacturing) naics.kif 3387-3387 子屬性 膠粘劑製造 and 油漆塗料和膠粘劑製造
(subAttribute AdministrationOfAirAndWaterResourceAndSolidWasteManagementPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12355-12355 子屬性 管理空氣和水資源以及固體廢物管理計劃 and 管理環境品質計劃
(subAttribute AdministrationOfConservationPrograms AdministrationOfEnvironmentalQualityPrograms) naics.kif 12364-12364 子屬性 管理保護計劃 and 管理環境品質計劃
(subAttribute AdministrationOfEconomicPrograms PublicAdministration) naics.kif 12395-12395 子屬性 管理經濟計劃 and 公共行政
(subAttribute AdministrationOfEducationPrograms AdministrationOfHumanResourcePrograms) naics.kif 12317-12317 子屬性 管理教育計劃 and 管理人力資源計劃
(subAttribute AdministrationOfEnvironmentalQualityPrograms PublicAdministration) naics.kif 12348-12348 子屬性 管理環境品質計劃 and 公共行政
(subAttribute AdministrationOfGeneralEconomicPrograms AdministrationOfEconomicPrograms) naics.kif 12401-12401 子屬性 一般經濟計劃的管理 and 管理經濟計劃
(subAttribute AdministrationOfHousingPrograms AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment) naics.kif 12379-12379 子屬性 住房計劃管理 and 住房計劃管理城市規劃和社區發展
(subAttribute AdministrationOfHousingProgramsUrbanPlanningAndCommunityDevelopment PublicAdministration) naics.kif 12371-12371 子屬性 住房計劃管理城市規劃和社區發展 and 公共行政
(subAttribute AdministrationOfHumanResourcePrograms PublicAdministration) naics.kif 12311-12311 子屬性 管理人力資源計劃 and 公共行政
(subAttribute AdministrationOfHumanResourceProgramsExceptEducationPublicHealthAndVeteransAffairsPrograms AdministrationOfHumanResourcePrograms) naics.kif 12331-12331 子屬性 除教育公共衛生和退伍軍人事務計劃外的人力資源計劃管理 and 管理人力資源計劃
(subAttribute AdministrationOfPublicHealthPrograms AdministrationOfHumanResourcePrograms) naics.kif 12324-12324 子屬性 管理公共衛生計劃 and 管理人力資源計劃

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners