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

Formal Language: 



Relation: subrelation

direct-childrendocumentationgraph
partlyLocated20(partlyLocated ?OBJ1 ?OBJ2) means that the instance of Physical ?OBJ1 is at least partially loc...^
    located17(located ?OBJ1 ?OBJ2) means that ?OBJ1 is partlyLocated at ?OBJ2, and there is no part of ?OB...^
        headquartersOfOrganization.(headquartersOfOrganization ?ORG ?AREA) means that the Organization ?ORG is headquartered in ?ARE...^
        onboard.(onboard ?OBJ ?VEHICLE) means that the SelfConnectedObject ?OBJ is inside the Vehicle ?VEHICLE....^
        postNeighborhood.(postNeighborhood ?PLACE ?NEIGHBORHOOD) means that ?PLACE is located in ?NEIGHBORHOOD^
        postCountry.(postCountry ?PostalPlace ?GeopoliticalArea) means that ?PostalPlace is located in the Na...^
        postDistrict.(postDistrict ?PostalPlace ?StateOrProvince) means that ?PostalPlace is located in ?State...^
        postCity.(postCity ?PostalPlace ?City) means that ?PostalPlace is located in ?City.^
        postPostcodeArea.(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?Post...^
        exactlyLocated.The actual, minimal location of an Object. This is a subrelation of the more general Predicate ...^
        partiallyFills3(partiallyFills ?OBJ ?HOLE) means that ?OBJ completelyFills some part of ?HOLE. Note that if (&...^
        geographicSubregion4(geographicSubregion ?PART ?WHOLE) means that the GeographicArea ?PART is part of the Geograp...^

Relation: Term:

Levels "above": Levels "below": Total term limit: Show instances:
Columns to display:

View format: text


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners