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

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 11397-11402
No TPTP formula. May not be expressible in strict first order. Merge.kif 11395-11395 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 16632-16632 Accelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11023-11023 Ambulating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16802-16802 Arriving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16870-16870 Boarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4288-4288 Crawling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16911-16911 Deboarding is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16660-16660 Decelerating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16813-16813 Disappearing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16770-16770 Escaping is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11426-11426 Falling is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16719-16719 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 16841-16841 Immigrating is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16743-16743 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 16791-16791 Leaving is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13472-13472 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 16756-16756 Returning is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3016-3016 Ship berthing is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16730-16730 Taking off is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11160-11160 Transfer is a subclass of translocation
No TPTP formula. May not be expressible in strict first order. Merge.kif 11440-11440 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 10875-10875 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 11404-11413
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 11173-11196
No TPTP formula. May not be expressible in strict first order. Merge.kif 15738-15744
No TPTP formula. May not be expressible in strict first order. Merge.kif 15730-15736
No TPTP formula. May not be expressible in strict first order. Merge.kif 11415-11424

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 21342-21361
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 5554-5566
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 16056-16070
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 11173-11196
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2616-2621
No TPTP formula. May not be expressible in strict first order. Merge.kif 10886-10894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16805-16811
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 3667-3669
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 11933-11942
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16794-16800
No TPTP formula. May not be expressible in strict first order. Hotel.kif 2087-2094
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 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