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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Translocation

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...

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3058-3061
No TPTP formula. May not be expressible in strict first order. Merge.kif 11384-11389
No TPTP formula. May not be expressible in strict first order. Merge.kif 11382-11382 Translocation is a subclass of motion

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


No TPTP formula. May not be expressible in strict first order. Transportation.kif 1604-1604 The values returned by transit are subclasses of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16577-16577 Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11010-11010 Ambulating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16745-16745 Arriving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16813-16813 Boarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4272-4272 Crawling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16854-16854 Deboarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16605-16605 Decelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16756-16756 Disappearing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16715-16715 Escaping is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11413-11413 Falling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16664-16664 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 16784-16784 Immigrating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16688-16688 Landing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 808-808 Landing water land is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16734-16734 Leaving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13419-13419 Military infiltration is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1721-1721 MovingCursor is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. emotion.kif 1417-1417 Moving towards people is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16701-16701 Returning is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3024-3024 Ship berthing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16675-16675 Taking off is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11147-11147 Transfer is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11427-11427 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 10862-10862 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 11391-11400
No TPTP formula. May not be expressible in strict first order. Weather.kif 1650-1671
No TPTP formula. May not be expressible in strict first order. Merge.kif 11160-11183
No TPTP formula. May not be expressible in strict first order. Merge.kif 15717-15723
No TPTP formula. May not be expressible in strict first order. Merge.kif 15709-15715
No TPTP formula. May not be expressible in strict first order. Merge.kif 11402-11411

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 2003-2012
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21254-21273
No TPTP formula. May not be expressible in strict first order. Weather.kif 1274-1295
No TPTP formula. May not be expressible in strict first order. Cars.kif 2957-2973
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2626-2642
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2500-2510
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5529-5541
No TPTP formula. May not be expressible in strict first order. Dining.kif 564-581
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 16001-16015
No TPTP formula. May not be expressible in strict first order. emotion.kif 1523-1533
No TPTP formula. May not be expressible in strict first order. Merge.kif 11160-11183
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2624-2629
No TPTP formula. May not be expressible in strict first order. Merge.kif 10873-10881
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16748-16754
No TPTP formula. May not be expressible in strict first order. Sports.kif 1035-1044
No TPTP formula. May not be expressible in strict first order. Sports.kif 1074-1082
No TPTP formula. May not be expressible in strict first order. Weather.kif 560-570
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3658-3660
No TPTP formula. May not be expressible in strict first order. Cars.kif 2843-2872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 11874-11883
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16737-16743
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2062-2069
No TPTP formula. May not be expressible in strict first order. Weather.kif 523-530

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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

Show without tree


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