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 (?S ?X)
            (and
                (realization ?X ?PROP)
                (instance ?S Selling)
                (patient ?S ?X)
                (agent ?S ?AGENT))) Possibility))
Catalog.kif 64-75
(=>
    (and
        (negotiatedPrice ?ENT ?PRICE ?AGREE)
        (partyToAgreement ?SELLER ?AGREE)
        (partyToAgreement ?BUYER ?AGREE)
        (subclass ?ENT Proposition))
    (modalAttribute
        (=>
            (and
                (immediateInstance ?ITEM ?ENT)
                (realization ?PROCESS ?ITEM)
                (instance ?S Selling)
                (patient ?S ?PROCESS)
                (agent ?S ?SELLER)
                (destination ?S ?BUYER))
            (transactionAmount ?S ?PRICE)) Promise))
Catalog.kif 284-299
(subclass Proposition Abstract) Merge.kif 3441-3441
(subclass TPFDD Proposition) MilitaryProcesses.kif 1611-1611
(subclass Music Proposition) Mid-level-ontology.kif 11365-11365
(subclass LyricalContent Proposition) Mid-level-ontology.kif 11418-11418
(subclass Agreement Proposition) Mid-level-ontology.kif 11593-11593
(subclass ClassificationScheme Proposition) Mid-level-ontology.kif 20691-20691
(subclass Policy Proposition) Mid-level-ontology.kif 25472-25472
(subclass Graph Proposition) Merge.kif 5347-5347
(subclass GraphElement Proposition) Merge.kif 5518-5518
(subclass FieldOfStudy Proposition) Merge.kif 15639-15639
(subclass Procedure Proposition) Merge.kif 15647-15647
(subclass Argument Proposition) Merge.kif 15682-15682
(subclass MealPlan Proposition) Hotel.kif 1503-1503
(subclass HotelPackage Proposition) Hotel.kif 2685-2685
(subclass Constitution Proposition) Government.kif 634-634
(subclass RegionalLaw Proposition) Government.kif 849-849
(subclass SuffrageLaw Proposition) Government.kif 885-885
(subclass EconomicIndicator Proposition) FinancialOntology.kif 1594-1594
(subclass BankStatement Proposition) FinancialOntology.kif 3772-3772
(subclass Equation Proposition) engineering.kif 149-149
(subclass ScientificLaw Proposition) engineering.kif 1239-1239
(subclass Catalog Proposition) Catalog.kif 31-31
(subclass PricingScheme Proposition) Catalog.kif 179-179


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