KB Graph : Welcome guest : log in
Home |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


Relation: subrelation

direct-childrendocumentationgraph
    measure23A very general Predicate for asserting that a particular Physical is measured by a particular &...^
        trackWidth.The distance between the two rails of a Railway.^
        fleetGrossRegisteredTonnage.(fleetGrossRegisteredTonnage ?FLEET ?AMOUNT) means that the CollectionOfObjects of Ships ?FLE...^
        fleetDeadWeightTonnage.(fleetDeadWeightTonnage ?FLEET ?AMOUNT) means that the CollectionOfObjects of Ships ?FLEET ha...^
        vesselDisplacement2(vesselDisplacement ?VESSEL ?AMOUNT) means that the displacement of WaterVehicle ?VESSEL is the...^
        pitch.pitch is the rotation about the TransverseAxis. It changes the vertical direction that an Air...^
        yaw.yaw is the rotation around the verticalAxis.Yaw changes the direction the aircraft's nose is po...^
        roll.roll is the rotation around the longitudinalAxis. A positive rolling motion lifts the left wing...^
        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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners