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


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