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, come_up, commute, cruise, dart, diffuse, digression, direct_transmission, dislodge, disperse, displacement, dissipate, distance, do, draw, drift, ease, ease_up, edge, emerge, excursion, expedition, extend, fall_back, fan_out, fare-stage, festinate, field_trip, fleet...

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 11551-11556
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1826-1829
No TPTP formula. May not be expressible in strict first order. Merge.kif 11549-11549 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 17138-17138 Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11140-11140 Ambulating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17308-17308 Arriving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17376-17376 Boarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4382-4382 Crawling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17417-17417 Deboarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17166-17166 Decelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17319-17319 Disappearing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17276-17276 Escaping is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11580-11580 Falling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17225-17225 Flying is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ArabicCulture.kif 121-121 Hajj is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17347-17347 Immigrating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17249-17249 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 17297-17297 Leaving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13953-13953 Military infiltration is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 1724-1724 Moving cursor 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 17262-17262 Returning is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3017-3017 Ship berthing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17236-17236 Taking off is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11292-11292 Transfer is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11594-11594 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 10992-10992 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 11558-11567
No TPTP formula. May not be expressible in strict first order. Weather.kif 1651-1672
No TPTP formula. May not be expressible in strict first order. Merge.kif 11305-11328
No TPTP formula. May not be expressible in strict first order. Merge.kif 15992-15998
No TPTP formula. May not be expressible in strict first order. Merge.kif 15984-15990
No TPTP formula. May not be expressible in strict first order. Merge.kif 11569-11578

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 21776-21795
No TPTP formula. May not be expressible in strict first order. Weather.kif 1275-1296
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 2627-2643
No TPTP formula. May not be expressible in strict first order. MilitaryProcesses.kif 2501-2511
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 5847-5859
No TPTP formula. May not be expressible in strict first order. Dining.kif 610-627
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 16561-16575
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 11305-11328
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2617-2622
No TPTP formula. May not be expressible in strict first order. Merge.kif 11003-11011
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17311-17317
No TPTP formula. May not be expressible in strict first order. Sports.kif 1107-1116
No TPTP formula. May not be expressible in strict first order. Sports.kif 1146-1154
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 3706-3708
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 15622-15637
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 12397-12406
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17300-17306
No TPTP formula. May not be expressible in strict first order. Merge.kif 858-860

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 3.0 is open source software produced by Articulate Software and its partners