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

Formal Language: 



Relation: subrelation

direct-childrendocumentationgraph
    measure21A very general Predicate for asserting that a particular Physical is measured by a particular &...^
        significantWaveHeight. significantWaveHeight is a TernaryPredicate. (significantWaveHeight ?WA ?TIME ?SWH) ?SWH is a ...^
        trackWidth.The distance between the two rails of a Railway.^
        fleetGrossRegisteredTonnage.(fleetGrossRegisteredTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a ...^
        fleetDeadWeightTonnage.(fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the Collection of Ships ?FLEET has a total...^
        vesselDisplacement2(vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the...^
        memorySize.(memorySize ?System ?Size) holds if ?Size is the required memory size for the ComputationalSyst...^
        absorbedDose.The amount of energy imparted by nuclear (or ionizing) radiation to unit mass of absorbing material...^
        effectiveRange.Models the effective range of some device that is able to move by itself (like vehicles, rockets an...^
        phMeasure.^
        loudness.^
        airTemperature.(airTemperature ?AREA ?TEMP) means that the temperature of the air at ?AREA is ?TEMP. Temperature...^
        weight.(weight ?O ?MM) means that on planet earth the SelfConnectedObject ?O has the weight ?MM.^
        age.Simply relates an Object to a ConstantQuantity specifying the age of the Object.^
        linearExtent4BinaryPredicate that is used to state the measure of an Object from one point to another point ...^
        barometricPressure.(barometricPressure ?AREA ?PRESSURE) means that the atmospheric pressure measured at ?AREA is ?PR...^

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