KB Graph : Welcome guest : log in		 [  Home |  ]  KB:  Language:   

Formal Language: 



Relation: subclass

direct-childrendocumentationgraph
Predicate1424A Predicate is a sentence-forming Relation. Each tuple in the Relation is a finite, ordered s...^
QuaternaryRelation32QuaternaryRelations relate four items. The two subclasses of QuaternaryRelation are Quatern...^
InheritableRelation1765The class of Relations whose properties can be inherited downward in the class hierarchy via the ...^
    QuaternaryPredicate27The Class of Predicates that require four arguments.^
        capableAtLocation.(capableAtLocation ?TYPE ?ROLE ?OBJECT ?PLACE) means that ?OBJECT has the ability to play the C...^
        agreementClause.(agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) means that Proposition ?PROP, which has modal...^
        monetaryWage.(monetaryWage ?ORG ?PERSON ?TIME ?MONEY) means that the Organization employs ?PERSON and pays h...^
        beforeOnPath.(beforeOnPath ?OBJ1 ?OBJ2 ?PATH ?PROC) means that ?OBJ1 is spatially before ?OBJ2 on the path ?PATH...^
        rents.(rents ?CUST ?AGENT ?OBJ ?TI) means that for TimeInterval ?TI, CognitiveAgent ?CUST is Rent...^
        betweenOnPath.(betweenOnPath ?OBJ1 ?OBJ2 ?OBJ3 ?PATH) means that ?OBJ2 is spatially located between ?OBJ1 and ?OB...^
        concentration.The concentration of a Substance in a Mixture. ^
        observedAtTimeInPlace.(observedAtTimeInPlace ?OBJ ?AGENT ?TIME ?PLACE) means that during the time specified by ?TIME, ?...^
        voteFractionReceived.(voteFractionReceived ?ELECTION ?POSITION ?CONTENDER ?FRACTION) means that in the Election ?ELE...^
        chiefOfDiplomaticMission.(chiefOfDiplomaticMission ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the chief diplomatic represen...^
        diplomaticRepresentativeInRole1(diplomaticRepresentativeInRole ?AGENT1 ?PERSON ?RANK ?AGENT2) means that the AutonomousAgent ?...^
        comparativeArea.(comparativeArea ?REGION1 ?RELATION ?FACTOR ?REGION2) means that the total area of GeographicAr...^
        sectorCompositionOfGDPInPeriod.(sectorCompositionOfGDPInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the Geopolitical...^
        sectorValueOfGDPInPeriod.(sectorValueOfGDPInPeriod ?AREA ?SECTOR ?AMOUNT ?PERIOD) means that for the GeopoliticalArea ?A...^
        laborForceFractionByOccupationInPeriod.(laborForceFractionByOccupationInPeriod ?AREA ?SECTOR ?FRACTION ?PERIOD) means that in the Geop...^
        electricityFractionFromSourceInPeriod.(electricityFractionFromSourceInPeriod ?AREA ?SOURCE ?FRACTION ?PERIOD) means that in the Geopo...^
        exportPartnerByRankInPeriod.(exportPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that the GeopoliticalArea ?AREA1...^
        exportPartnerByFractionInPeriod.(exportPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means that the GeopoliticalAr...^
        importPartnerByRankInPeriod.(importPartnerByRankInPeriod ?AREA1 ?AREA2 ?NTH ?PERIOD) means that the GeopoliticalArea ?AREA1...^
        importPartnerByFractionInPeriod.(importPartnerByFractionInPeriod ?AREA1 ?AREA2 ?FRACTION ?PERIOD) means that the GeopoliticalAr...^
        capabilityDuring.(capabilityDuring ?PROCESS ?ROLE ?OBJ ?TIMEINT) means that ?OBJ has the ability to play the role ...^
        grossMerchandiseBoughtInPeriod.The total monetaryValue of all mechandise bought by a given AutonomousAgent from an Organizat...^
        grossMerchandiseSoldInPeriod.The total monetaryValue of all mechandise sold by a given AutonomousAgent through an Organiza...^
        priceRange.(priceRange ?OBJ ?MIN ?MAX ?AGENT) means that AutonomousAgent ?AGENT attaches range of possible...^
        publishedPrice.(publishedPrice ?ENT ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is given by Aut...^
        unitPrice.(unitPrice ?ENT ?QUANT ?AGENT ?PS) is meant for objects that are not sold by the piece but by a c...^
        rentalPrice.(rentalPrice ?OBJ ?PRICE ?AGENT ?PS) means that the CurrencyMeasure ?PRICE is paid for the use ...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
All relations: Restrict to file:
Columns to display:

View format: text


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