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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Translocation
Translocation(translocation)advance, aerosolise, aerosolize, airborne_transmission, airing, back, billow, bring_forward, buck, burrow, burst, butterfly, by, campaign, career, carry, cast, catch, catch_up_with, charge, circuit, come, commute, dart, diffuse, digression, direct_transmission, dislodge, disperse, displacement, dissipate, distance, draw, drift, ease_up, edge, emerge, excursion, expedition, extend, fall_back, fan_out, fare-stage, festinate, field_trip, fleet, flit, flow, flutter, flux...

VerbNet: put_direction-9.4|back, appear-48.1.1|surge, run-51.3.2|tear, rummage-35.5|tunnel, exist-47.1|extend, run-51.3.2|wander, run-51.3.2|tear, run-51.3.2|dart, other_cos-45.4|dissipate, other_cos-45.4|dissipate, exceed-90|outstrip, run-51.3.2|wander, run-51.3.2|inch, appear-48.1.1|emerge, exist-47.1|extend, rush-53.2|rush, run-51.3.2|dart, run-51.3.2|dart, entity_specific_modes_being-47.2|flux, run-51.3.2|dart, entity_specific_modes_being-47.2|flux, begin-55.1|go_on, rush-53.2|rush, appear-48.1.1|surge, rush-53.2|rush, run-51.3.2|hurtle, run-51.3.2|inch, fill-9.8|infest, fill-9.8|infest, future_having-13.3|leave, rush-53.2|rush, begin-55.1|go_on, begin-55.1|go_on, exceed-90|outstrip, exceed-90|outstrip, fill-9.8|infest, separate-23.1|separate, begin-55.1|go_on, begin-55.1|go_on, appear-48.1.1|spread, run-51.3.2|wander, run-51.3.2|wander, run-51.3.2|wander, run-51.3.2|wander, run-51.3.2|wander, rush-53.2|rush, run-51.3.2|sweep, other_cos-45.4|dissipate, see-30.1|see, separate-23.1|separate, ...


appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15758-15761
No TPTP formula. May not be expressible in strict first order. Merge.kif 15751-15756
No TPTP formula. May not be expressible in strict first order. Merge.kif 15763-15766
No TPTP formula. May not be expressible in strict first order. Merge.kif 15749-15749 Translocation is a subclass of motion

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1574-1574 The values returned by transit are subclasses of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14723-14723 Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15217-15217 Ambulating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14870-14870 Arriving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14937-14937 Boarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4856-4856 Crawling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14977-14977 Deboarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14740-14740 Decelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14881-14881 Disappearing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14840-14840 Escaping is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15790-15790 Falling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14789-14789 Flying is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 112-112 Hajj is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14908-14908 Immigrating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14813-14813 Landing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 797-797 Landing water land is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14859-14859 Leaving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11557-11557 Military infiltration is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1342-1342 MovingCursor is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. emotion.kif 1390-1390 Moving towards people is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14826-14826 Returning is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2961-2961 Ship berthing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14800-14800 Taking off is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15430-15430 Transfer is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 15810-15810 Transportation is a subclass of translocation

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15021-15021 The number 1 argument of changes location is an instance of translocation

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 15768-15777
No TPTP formula. May not be expressible in strict first order. Merge.kif 15449-15472
No TPTP formula. May not be expressible in strict first order. Merge.kif 20529-20535
No TPTP formula. May not be expressible in strict first order. Merge.kif 20521-20527
No TPTP formula. May not be expressible in strict first order. Merge.kif 15779-15788

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryPersons.kif 151-167
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2002-2011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19562-19581
No TPTP formula. May not be expressible in strict first order. Cars.kif 2930-2944
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2594-2610
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2468-2478
No TPTP formula. May not be expressible in strict first order. Dining.kif 568-585
No TPTP formula. May not be expressible in strict first order. Cars.kif 567-580
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14162-14176
No TPTP formula. May not be expressible in strict first order. emotion.kif 1492-1502
No TPTP formula. May not be expressible in strict first order. Merge.kif 15449-15472
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2558-2563
No TPTP formula. May not be expressible in strict first order. Merge.kif 15040-15048
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14873-14879
No TPTP formula. May not be expressible in strict first order. Sports.kif 957-966
No TPTP formula. May not be expressible in strict first order. Sports.kif 996-1004
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4241-4243
No TPTP formula. May not be expressible in strict first order. Cars.kif 2824-2853
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14862-14868
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2030-2037
No TPTP formula. May not be expressible in strict first order. Cars.kif 3642-3671


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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