Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (offers ?AGENT ?CATALOG)
        (catalogItem ?PROP ?CATALOG)
        (subclass ?PROP Proposition))
    (modalAttribute
        (exists (?P ?S ?X)
            (and
                (instance ?P ?PROP)
                (realization ?X ?P)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))		 Catalog.kif 64-76
(subclass Proposition Abstract) Merge.kif 3555-3555 命题 是 抽象体 的 subclass
(subclass TPFDD Proposition) MilitaryProcesses.kif 1630-1630 TPFDD 是 命题 的 subclass
(subclass Music Proposition) Mid-level-ontology.kif 13733-13733 音乐 是 命题 的 subclass
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13786-13786 LyricalContent 是 命题 的 subclass
(subclass Agreement Proposition) Mid-level-ontology.kif 13957-13957 协议 是 命题 的 subclass
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22773-22773 分类方案 是 命题 的 subclass
(subclass Policy Proposition) Mid-level-ontology.kif 27185-27185 Policy 是 命题 的 subclass
(subclass Graph Proposition) Merge.kif 5622-5622 图 是 命题 的 subclass
(subclass GraphElement Proposition) Merge.kif 5819-5819 图元素 是 命题 的 subclass
(subclass FieldOfStudy Proposition) Merge.kif 16769-16769 研究领域 是 命题 的 subclass
(subclass Procedure Proposition) Merge.kif 16777-16777 程序 是 命题 的 subclass
(subclass Argument Proposition) Merge.kif 16812-16812 争论 是 命题 的 subclass
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan 是 命题 的 subclass
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage 是 命题 的 subclass
(subclass Constitution Proposition) Government.kif 647-647 宪法 是 命题 的 subclass
(subclass RegionalLaw Proposition) Government.kif 863-863 区域法 是 命题 的 subclass
(subclass SuffrageLaw Proposition) Government.kif 899-899 选举法 是 命题 的 subclass
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 经济指标 是 命题 的 subclass
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 银行对帐单 是 命题 的 subclass
(subclass Model Proposition) engineering.kif 69-69 模型 是 命题 的 subclass
(subclass Equation Proposition) engineering.kif 150-150 方程 是 命题 的 subclass
(subclass ScientificLaw Proposition) engineering.kif 1240-1240 科学法 是 命题 的 subclass
(subclass MultipolePostulate Proposition) engineering.kif 1266-1266 多极假设 是 命题 的 subclass
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog 是 命题 的 subclass
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme 是 命题 的 subclass


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