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 では %n
(subclass TPFDD Proposition) MilitaryProcesses.kif 1630-1630 TPFDD は 命題 の subclass では %n
(subclass Music Proposition) Mid-level-ontology.kif 13733-13733 音楽 は 命題 の subclass では %n
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13786-13786 LyricalContent は 命題 の subclass では %n
(subclass Agreement Proposition) Mid-level-ontology.kif 13957-13957 Agreement は 命題 の subclass では %n
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22773-22773 ClassificationScheme は 命題 の subclass では %n
(subclass Policy Proposition) Mid-level-ontology.kif 27185-27185 Policy は 命題 の subclass では %n
(subclass Graph Proposition) Merge.kif 5622-5622 グラフ は 命題 の subclass では %n
(subclass GraphElement Proposition) Merge.kif 5819-5819 グラフ要素 は 命題 の subclass では %n
(subclass FieldOfStudy Proposition) Merge.kif 16769-16769 研究分野 は 命題 の subclass では %n
(subclass Procedure Proposition) Merge.kif 16777-16777 手順 は 命題 の subclass では %n
(subclass Argument Proposition) Merge.kif 16812-16812 Argument は 命題 の subclass では %n
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan は 命題 の subclass では %n
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage は 命題 の subclass では %n
(subclass Constitution Proposition) Government.kif 647-647 Constitution は 命題 の subclass では %n
(subclass RegionalLaw Proposition) Government.kif 863-863 RegionalLaw は 命題 の subclass では %n
(subclass SuffrageLaw Proposition) Government.kif 899-899 SuffrageLaw は 命題 の subclass では %n
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 EconomicIndicator は 命題 の subclass では %n
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 BankStatement は 命題 の subclass では %n
(subclass Model Proposition) engineering.kif 69-69 Model は 命題 の subclass では %n
(subclass Equation Proposition) engineering.kif 150-150 Equation は 命題 の subclass では %n
(subclass ScientificLaw Proposition) engineering.kif 1240-1240 ScientificLaw は 命題 の subclass では %n
(subclass MultipolePostulate Proposition) engineering.kif 1266-1266 MultipolePostulate は 命題 の subclass では %n
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog は 命題 の subclass では %n
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme は 命題 の subclass では %n


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