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 est une sous-classe de abstrait
(subclass TPFDD Proposition) MilitaryProcesses.kif 1630-1630 TPFDD est une sous-classe de proposition
(subclass Music Proposition) Mid-level-ontology.kif 13733-13733 Musique est une sous-classe de proposition
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13786-13786 LyricalContent est une sous-classe de proposition
(subclass Agreement Proposition) Mid-level-ontology.kif 13957-13957 Agreement est une sous-classe de proposition
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22773-22773 ClassificationScheme est une sous-classe de proposition
(subclass Policy Proposition) Mid-level-ontology.kif 27185-27185 Policy est une sous-classe de proposition
(subclass Graph Proposition) Merge.kif 5622-5622 Graph est une sous-classe de proposition
(subclass GraphElement Proposition) Merge.kif 5819-5819 �lement du graph Est une sous-classe de proposition
(subclass FieldOfStudy Proposition) Merge.kif 16769-16769 Champ d'�tude est une sous-classe de proposition
(subclass Procedure Proposition) Merge.kif 16777-16777 Proc�dure est une sous-classe de proposition
(subclass Argument Proposition) Merge.kif 16812-16812 Argument est une sous-classe de proposition
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan est une sous-classe de proposition
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage est une sous-classe de proposition
(subclass Constitution Proposition) Government.kif 647-647 Constitution est une sous-classe de proposition
(subclass RegionalLaw Proposition) Government.kif 863-863 RegionalLaw est une sous-classe de proposition
(subclass SuffrageLaw Proposition) Government.kif 899-899 SuffrageLaw est une sous-classe de proposition
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 EconomicIndicator est une sous-classe de proposition
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 BankStatement est une sous-classe de proposition
(subclass Model Proposition) engineering.kif 69-69 Model est une sous-classe de proposition
(subclass Equation Proposition) engineering.kif 150-150 Equation est une sous-classe de proposition
(subclass ScientificLaw Proposition) engineering.kif 1240-1240 ScientificLaw est une sous-classe de proposition
(subclass MultipolePostulate Proposition) engineering.kif 1266-1266 MultipolePostulate est une sous-classe de proposition
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog est une sous-classe de proposition
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme est une sous-classe de 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