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 Proposizione è una sottoclasse di Astratto
(subclass TPFDD Proposition) MilitaryProcesses.kif 1630-1630 TPFDD è una sottoclasse di Proposizione
(subclass Music Proposition) Mid-level-ontology.kif 13733-13733 Musica è una sottoclasse di Proposizione
(subclass LyricalContent Proposition) Mid-level-ontology.kif 13786-13786 LyricalContent è una sottoclasse di Proposizione
(subclass Agreement Proposition) Mid-level-ontology.kif 13957-13957 Agreement è una sottoclasse di Proposizione
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 22773-22773 ClassificationScheme è una sottoclasse di Proposizione
(subclass Policy Proposition) Mid-level-ontology.kif 27185-27185 Policy è una sottoclasse di Proposizione
(subclass Graph Proposition) Merge.kif 5622-5622 Grafo è una sottoclasse di Proposizione
(subclass GraphElement Proposition) Merge.kif 5819-5819 ElementoDelGrafo è una sottoclasse di Proposizione
(subclass FieldOfStudy Proposition) Merge.kif 16769-16769 CampoDiStudio è una sottoclasse di Proposizione
(subclass Procedure Proposition) Merge.kif 16777-16777 Procedura è una sottoclasse di Proposizione
(subclass Argument Proposition) Merge.kif 16812-16812 Argument è una sottoclasse di Proposizione
(subclass MealPlan Proposition) Hotel.kif 1541-1541 MealPlan è una sottoclasse di Proposizione
(subclass HotelPackage Proposition) Hotel.kif 2725-2725 HotelPackage è una sottoclasse di Proposizione
(subclass Constitution Proposition) Government.kif 647-647 Constitution è una sottoclasse di Proposizione
(subclass RegionalLaw Proposition) Government.kif 863-863 RegionalLaw è una sottoclasse di Proposizione
(subclass SuffrageLaw Proposition) Government.kif 899-899 SuffrageLaw è una sottoclasse di Proposizione
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1639-1639 EconomicIndicator è una sottoclasse di Proposizione
(subclass BankStatement Proposition) FinancialOntology.kif 3882-3882 BankStatement è una sottoclasse di Proposizione
(subclass Model Proposition) engineering.kif 69-69 Model è una sottoclasse di Proposizione
(subclass Equation Proposition) engineering.kif 150-150 Equation è una sottoclasse di Proposizione
(subclass ScientificLaw Proposition) engineering.kif 1240-1240 ScientificLaw è una sottoclasse di Proposizione
(subclass MultipolePostulate Proposition) engineering.kif 1266-1266 MultipolePostulate è una sottoclasse di Proposizione
(subclass Catalog Proposition) Catalog.kif 31-31 Catalog è una sottoclasse di Proposizione
(subclass PricingScheme Proposition) Catalog.kif 184-184 PricingScheme è una sottoclasse di Proposizione


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