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 子類 Proposition and Abstract
(subclass TPFDD Proposition) MilitaryProcesses.kif 1630-1630 子類 TPFDD and Proposition
(subclass Music Proposition) Mid-level-ontology.kif 13733-13733 子類 Music and Proposition
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13786-13786 子類 LyricalContent and Proposition
(subclass Agreement Proposition) Mid-level-ontology.kif 13957-13957 子類 協議 and Proposition
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22773-22773 子類 分類方案 and Proposition
(subclass Policy Proposition) Mid-level-ontology.kif 27185-27185 子類 Policy and Proposition
(subclass Graph Proposition) Merge.kif 5622-5622 子類 Graph and Proposition
(subclass GraphElement Proposition) Merge.kif 5819-5819 子類 GraphElement and Proposition
(subclass FieldOfStudy Proposition) Merge.kif 16769-16769 子類 FieldOfStudy and Proposition
(subclass Procedure Proposition) Merge.kif 16777-16777 子類 Procedure and Proposition
(subclass Argument Proposition) Merge.kif 16812-16812 子類 爭論 and Proposition
(subclass MealPlan Proposition) Hotel.kif 1541-1541 子類 MealPlan and Proposition
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 子類 HotelPackage and Proposition
(subclass Constitution Proposition) Government.kif 647-647 子類 憲法 and Proposition
(subclass RegionalLaw Proposition) Government.kif 863-863 子類 區域法 and Proposition
(subclass SuffrageLaw Proposition) Government.kif 899-899 子類 選舉法 and Proposition
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 子類 經濟指標 and Proposition
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 子類 銀行對帳單 and Proposition
(subclass Model Proposition) engineering.kif 69-69 子類 模型 and Proposition
(subclass Equation Proposition) engineering.kif 150-150 子類 方程 and Proposition
(subclass ScientificLaw Proposition) engineering.kif 1240-1240 子類 科學法 and Proposition
(subclass MultipolePostulate Proposition) engineering.kif 1266-1266 子類 多極假設 and Proposition
(subclass Catalog Proposition) Catalog.kif 31-31 子類 Catalog and Proposition
(subclass PricingScheme Proposition) Catalog.kif 184-184 子類 PricingScheme and Proposition


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